(define Xn_1_FACVEC (make-vector 512))

(vector-set! Xn_1_FACVEC 1 (sort (list 3) <))
(vector-set! Xn_1_FACVEC 2 (sort (list 3 3) <))
(vector-set! Xn_1_FACVEC 3 (sort (list 3 7) <))
(vector-set! Xn_1_FACVEC 4 (sort (list 3 3 3 3) <))
(vector-set! Xn_1_FACVEC 5 (sort (list 3 31) <))
(vector-set! Xn_1_FACVEC 6 (sort (list 3 3 7 7) <))
(vector-set! Xn_1_FACVEC 7 (sort (list 3 13 11) <))
(vector-set! Xn_1_FACVEC 8 (sort (list 3 3 3 3 3 3 3 3) <))
(vector-set! Xn_1_FACVEC 9 (sort (list 3 7 73) <))
(vector-set! Xn_1_FACVEC 10 (sort (list 3 3 31 31) <))
(vector-set! Xn_1_FACVEC 11 (sort (list 3 2047) <))
(vector-set! Xn_1_FACVEC 12 (sort (list 3 3 3 3 7 7 7 7) <))
(vector-set! Xn_1_FACVEC 13 (sort (list 3 8191) <))
(vector-set! Xn_1_FACVEC 14 (sort (list 3 3 11 11 13 13) <))
(vector-set! Xn_1_FACVEC 15 (sort (list 3 7 19 31 25) <))
(vector-set! Xn_1_FACVEC 16 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3) <))
(vector-set! Xn_1_FACVEC 17 (sort (list 3 471 313) <))
(vector-set! Xn_1_FACVEC 18 (sort (list 3 3 7 7 73 73) <))
(vector-set! Xn_1_FACVEC 19 (sort (list 3 524287) <))
(vector-set! Xn_1_FACVEC 20 (sort (list 3 3 3 3 31 31 31 31) <))
(vector-set! Xn_1_FACVEC 21 (sort (list 3 7 13 11 117 87) <))
(vector-set! Xn_1_FACVEC 22 (sort (list 3 3 2047 2047) <))
(vector-set! Xn_1_FACVEC 23 (sort (list 3 2787 3189) <))
(vector-set! Xn_1_FACVEC 24 (sort (list 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7) <))
(vector-set! Xn_1_FACVEC 25 (sort (list 3 31 1082401) <))
(vector-set! Xn_1_FACVEC 26 (sort (list 3 3 8191 8191) <))
(vector-set! Xn_1_FACVEC 27 (sort (list 3 7 73 262657) <))
(vector-set! Xn_1_FACVEC 28 (sort (list 3 3 3 3 13 13 13 13 11 11 11 11) <))
(vector-set! Xn_1_FACVEC 29 (sort (list 3 536870911) <))
(vector-set! Xn_1_FACVEC 30 (sort (list 3 3 7 7 19 19 31 31 25 25) <))
(vector-set! Xn_1_FACVEC 31 (sort (list 3 55 41 61 47 59 37) <))
(vector-set! Xn_1_FACVEC 32 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3) <))
(vector-set! Xn_1_FACVEC 33 (sort (list 3 7 1571 2047 1193) <))
(vector-set! Xn_1_FACVEC 34 (sort (list 3 3 471 471 313 313) <))
(vector-set! Xn_1_FACVEC 35 (sort (list 3 11 13 31 7485 6039) <))
(vector-set! Xn_1_FACVEC 36 (sort (list 3 3 3 3 7 7 7 7 73 73 73 73) <))
(vector-set! Xn_1_FACVEC 37 (sort (list 3 137438953471) <))
(vector-set! Xn_1_FACVEC 38 (sort (list 3 3 524287 524287) <))
(vector-set! Xn_1_FACVEC 39 (sort (list 3 7 7741 6031 8191) <))
(vector-set! Xn_1_FACVEC 40 (sort (list 3 3 3 3 3 3 3 3 31 31 31 31 31 31 31 31) <))
(vector-set! Xn_1_FACVEC 41 (sort (list 3 1560189 1789531) <))
(vector-set! Xn_1_FACVEC 42 (sort (list 3 3 7 7 11 11 13 13 87 87 117 117) <))
(vector-set! Xn_1_FACVEC 43 (sort (list 3 21653 20473 26763) <))
(vector-set! Xn_1_FACVEC 44 (sort (list 3 3 3 3 2047 2047 2047 2047) <))
(vector-set! Xn_1_FACVEC 45 (sort (list 3 7 19 25 31 73 4609 4105) <))
(vector-set! Xn_1_FACVEC 46 (sort (list 3 3 3189 3189 2787 2787) <))
(vector-set! Xn_1_FACVEC 47 (sort (list 3 9205487 16215601) <))
(vector-set! Xn_1_FACVEC 48 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7) <))
(vector-set! Xn_1_FACVEC 49 (sort (list 3 11 13 2097281 2113537) <))
(vector-set! Xn_1_FACVEC 50 (sort (list 3 3 31 31 1082401 1082401) <))
(vector-set! Xn_1_FACVEC 51 (sort (list 3 7 433 283 499 313 415 471) <))
(vector-set! Xn_1_FACVEC 52 (sort (list 3 3 3 3 8191 8191 8191 8191) <))
(vector-set! Xn_1_FACVEC 53 (sort (list 3 9007199254740991) <))
(vector-set! Xn_1_FACVEC 54 (sort (list 3 3 7 7 73 73 262657 262657) <))
(vector-set! Xn_1_FACVEC 55 (sort (list 3 31 2047 1894765 1495783) <))
(vector-set! Xn_1_FACVEC 56 (sort (list 3 3 3 3 3 3 3 3 13 13 13 13 13 13 13 13 11 11 11 11 11 11 11 11) <))
(vector-set! Xn_1_FACVEC 57 (sort (list 3 7 524287 506607 377373) <))
(vector-set! Xn_1_FACVEC 58 (sort (list 3 3 536870911 536870911) <))
(vector-set! Xn_1_FACVEC 59 (sort (list 3 576460752303423487) <))
(vector-set! Xn_1_FACVEC 60 (sort (list 3 3 3 3 7 7 7 7 31 31 31 31 25 25 25 25 19 19 19 19) <))
(vector-set! Xn_1_FACVEC 61 (sort (list 3 2305843009213693951) <))
(vector-set! Xn_1_FACVEC 62 (sort (list 3 3 59 59 47 47 41 41 55 55 37 37 61 61) <))
(vector-set! Xn_1_FACVEC 63 (sort (list 3 7 13 11 97 103 117 109 115 73 91 87 67) <))
(vector-set! Xn_1_FACVEC 64 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3) <))
(vector-set! Xn_1_FACVEC 65 (sort (list 3 31 8191 4593 5981 5349 6891) <))
(vector-set! Xn_1_FACVEC 66 (sort (list 3 3 7 7 2047 2047 1193 1193 1571 1571) <))
(vector-set! Xn_1_FACVEC 67 (sort (list 3 147573952589676412927) <))
(vector-set! Xn_1_FACVEC 68 (sort (list 3 3 3 3 313 313 313 313 471 471 471 471) <))
(vector-set! Xn_1_FACVEC 69 (sort (list 3 7 2787 3189 7538277 5451879) <))
(vector-set! Xn_1_FACVEC 70 (sort (list 3 3 11 11 13 13 31 31 6039 6039 7485 7485) <))
(vector-set! Xn_1_FACVEC 71 (sort (list 3 43469906355 55167946629) <))
(vector-set! Xn_1_FACVEC 72 (sort (list 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 73 73 73 73 73 73 73 73) <))
(vector-set! Xn_1_FACVEC 73 (sort (list 3 535 769 587 665 515 929 841 613) <))
(vector-set! Xn_1_FACVEC 74 (sort (list 3 3 137438953471 137438953471) <))
(vector-set! Xn_1_FACVEC 75 (sort (list 3 7 25 19 31 1082401 1048609 1081345) <))
(vector-set! Xn_1_FACVEC 76 (sort (list 3 3 3 3 524287 524287 524287 524287) <))
(vector-set! Xn_1_FACVEC 77 (sort (list 3 13 11 2047 1555657623 1961315997) <))
(vector-set! Xn_1_FACVEC 78 (sort (list 3 3 7 7 6031 6031 7741 7741 8191 8191) <))
(vector-set! Xn_1_FACVEC 79 (sort (list 3 1013993764633 656848807991) <))
(vector-set! Xn_1_FACVEC 80 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31) <))
(vector-set! Xn_1_FACVEC 81 (sort (list 3 7 73 262657 18014398643699713) <))
(vector-set! Xn_1_FACVEC 82 (sort (list 3 3 1789531 1789531 1560189 1560189) <))
(vector-set! Xn_1_FACVEC 83 (sort (list 3 9671406556917033397649407) <))
(vector-set! Xn_1_FACVEC 84 (sort (list 3 3 3 3 7 7 7 7 11 11 11 11 13 13 13 13 87 87 87 87 117 117 117 117) <))
(vector-set! Xn_1_FACVEC 85 (sort (list 3 31 379 471 313 419 395 319 477 445 505 375) <))
(vector-set! Xn_1_FACVEC 86 (sort (list 3 3 20473 20473 21653 21653 26763 26763) <))
(vector-set! Xn_1_FACVEC 87 (sort (list 3 7 536870911 377217823 521731021) <))
(vector-set! Xn_1_FACVEC 88 (sort (list 3 3 3 3 3 3 3 3 2047 2047 2047 2047 2047 2047 2047 2047) <))
(vector-set! Xn_1_FACVEC 89 (sort (list 3 2243 2543 3785 3121 4091 3583 2359 3961) <))
(vector-set! Xn_1_FACVEC 90 (sort (list 3 3 7 7 19 19 31 31 25 25 73 73 4105 4105 4609 4609) <))
(vector-set! Xn_1_FACVEC 91 (sort (list 3 13 11 5073 6779 4473 6157 7115 8191 5635) <))
(vector-set! Xn_1_FACVEC 92 (sort (list 3 3 3 3 3189 3189 3189 3189 2787 2787 2787 2787) <))
(vector-set! Xn_1_FACVEC 93 (sort (list 3 7 61 55 37 41 59 47 1291 1703 1077 1669 1835 1377) <))
(vector-set! Xn_1_FACVEC 94 (sort (list 3 3 16215601 16215601 9205487 9205487) <))
(vector-set! Xn_1_FACVEC 95 (sort (list 3 31 524287 106996548993 69599744739) <))
(vector-set! Xn_1_FACVEC 96 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7) <))
(vector-set! Xn_1_FACVEC 97 (sort (list 3 547674424979615 293918051210657) <))
(vector-set! Xn_1_FACVEC 98 (sort (list 3 3 13 13 11 11 2113537 2113537 2097281 2097281) <))
(vector-set! Xn_1_FACVEC 99 (sort (list 3 7 73 1571 2047 1193 1207992329 1075872257) <))
(vector-set! Xn_1_FACVEC 100 (sort (list 3 3 3 3 31 31 31 31 1082401 1082401 1082401 1082401) <))
(vector-set! Xn_1_FACVEC 101 (sort (list 3 2535301200456458802993406410751) <))
(vector-set! Xn_1_FACVEC 102 (sort (list 3 3 7 7 313 313 499 499 471 471 415 415 283 283 433 433) <))
(vector-set! Xn_1_FACVEC 103 (sort (list 3 3127191258723083 3673431891067789) <))
(vector-set! Xn_1_FACVEC 104 (sort (list 3 3 3 3 3 3 3 3 8191 8191 8191 8191 8191 8191 8191 8191) <))
(vector-set! Xn_1_FACVEC 105 (sort (list 3 7 11 13 31 25 19 117 87 7049 5841 4461 4667 6039 7485) <))
(vector-set! Xn_1_FACVEC 106 (sort (list 3 3 9007199254740991 9007199254740991) <))
(vector-set! Xn_1_FACVEC 107 (sort (list 3 162259276829213363391578010288127) <))
(vector-set! Xn_1_FACVEC 108 (sort (list 3 3 3 3 7 7 7 7 73 73 73 73 262657 262657 262657 262657) <))
(vector-set! Xn_1_FACVEC 109 (sort (list 3 91741980501 123958445927 95742700109) <))
(vector-set! Xn_1_FACVEC 110 (sort (list 3 3 31 31 2047 2047 1894765 1894765 1495783 1495783) <))
(vector-set! Xn_1_FACVEC 111 (sort (list 3 7 137438953471 111207215513 82440996083) <))
(vector-set! Xn_1_FACVEC 112 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13) <))
(vector-set! Xn_1_FACVEC 113 (sort (list 3 467462011 282327393 325116121 341591877) <))
(vector-set! Xn_1_FACVEC 114 (sort (list 3 3 7 7 377373 377373 506607 506607 524287 524287) <))
(vector-set! Xn_1_FACVEC 115 (sort (list 3 31 2787 3189 22247798630559 34234253441925) <))
(vector-set! Xn_1_FACVEC 116 (sort (list 3 3 3 3 536870911 536870911 536870911 536870911) <))
(vector-set! Xn_1_FACVEC 117 (sort (list 3 7 73 5899 7927 6685 8161 4351 7663 8191 7741 6031) <))
(vector-set! Xn_1_FACVEC 118 (sort (list 3 3 576460752303423487 576460752303423487) <))
(vector-set! Xn_1_FACVEC 119 (sort (list 3 11 13 313 471 18225833 30127125 22043559 19574993) <))
(vector-set! Xn_1_FACVEC 120 (sort (list 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 31 31 31 31 31 31 31 31 19 19 19 19 19 19 19 19 25 25 25 25 25 25 25 25) <))
(vector-set! Xn_1_FACVEC 121 (sort (list 3 2047 1298708349570020393652962442872833) <))
(vector-set! Xn_1_FACVEC 122 (sort (list 3 3 2305843009213693951 2305843009213693951) <))
(vector-set! Xn_1_FACVEC 123 (sort (list 3 7 1559769 1134071 1271421 1789531 1963601 1560189) <))
(vector-set! Xn_1_FACVEC 124 (sort (list 3 3 3 3 37 37 37 37 41 41 41 41 47 47 47 47 55 55 55 55 59 59 59 59 61 61 61 61) <))
(vector-set! Xn_1_FACVEC 125 (sort (list 3 31 1082401 1267650638007162390353805312001) <))
(vector-set! Xn_1_FACVEC 126 (sort (list 3 3 7 7 13 13 11 11 103 103 87 87 73 73 115 115 97 97 117 117 67 67 109 109 91 91) <))
(vector-set! Xn_1_FACVEC 127 (sort (list 3 145 191 185 211 247 157 203 171 241 167 253 143 137 229 131 239 193 213) <))
(vector-set! Xn_1_FACVEC 128 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3) <))
(vector-set! Xn_1_FACVEC 129 (sort (list 3 7 26763 20473 17873 26067 21653 21477 17057 32447 29671) <))
(vector-set! Xn_1_FACVEC 130 (sort (list 3 3 31 31 4593 4593 6891 6891 8191 8191 5349 5349 5981 5981) <))
(vector-set! Xn_1_FACVEC 131 (sort (list 3 2722258935367507707706996859454145691647) <))
(vector-set! Xn_1_FACVEC 132 (sort (list 3 3 3 3 7 7 7 7 1571 1571 1571 1571 1193 1193 1193 1193 2047 2047 2047 2047) <))
(vector-set! Xn_1_FACVEC 133 (sort (list 3 13 11 506125 361711 459115 350445 524287 374997 439303) <))
(vector-set! Xn_1_FACVEC 134 (sort (list 3 3 147573952589676412927 147573952589676412927) <))
(vector-set! Xn_1_FACVEC 135 (sort (list 3 7 25 19 31 73 4609 4105 262657 68853694465 68719477249) <))
(vector-set! Xn_1_FACVEC 136 (sort (list 3 3 3 3 3 3 3 3 471 471 471 471 471 471 471 471 313 313 313 313 313 313 313 313) <))
(vector-set! Xn_1_FACVEC 137 (sort (list 3 429952408607916191325 511598520368403020731) <))
(vector-set! Xn_1_FACVEC 138 (sort (list 3 3 7 7 3189 3189 2787 2787 7538277 7538277 5451879 5451879) <))
(vector-set! Xn_1_FACVEC 139 (sort (list 3 696898287454081973172991196020261297061887) <))
(vector-set! Xn_1_FACVEC 140 (sort (list 3 3 3 3 11 11 11 11 13 13 13 13 31 31 31 31 6039 6039 6039 6039 7485 7485 7485 7485) <))
(vector-set! Xn_1_FACVEC 141 (sort (list 3 7 16215601 9205487 114507279960881 77414618731019) <))
(vector-set! Xn_1_FACVEC 142 (sort (list 3 3 43469906355 43469906355 55167946629 55167946629) <))
(vector-set! Xn_1_FACVEC 143 (sort (list 3 2047 8191 1825047513348082225 1263868118835362131) <))
(vector-set! Xn_1_FACVEC 144 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73) <))
(vector-set! Xn_1_FACVEC 145 (sort (list 3 31 278396193 376566221 501893879 296677041 536870911) <))
(vector-set! Xn_1_FACVEC 146 (sort (list 3 3 769 769 587 587 665 665 515 515 535 535 613 613 841 841 929 929) <))
(vector-set! Xn_1_FACVEC 147 (sort (list 3 7 11 13 87 117 2113537 2097281 4432674701313 4398314963073) <))
(vector-set! Xn_1_FACVEC 148 (sort (list 3 3 3 3 137438953471 137438953471 137438953471 137438953471) <))
(vector-set! Xn_1_FACVEC 149 (sort (list 3 713623846352979940529142984724747568191373311) <))
(vector-set! Xn_1_FACVEC 150 (sort (list 3 3 7 7 19 19 25 25 31 31 1048609 1048609 1081345 1081345 1082401 1082401) <))
(vector-set! Xn_1_FACVEC 151 (sort (list 3 40729 54555 46297 60195 60913 39725 39161 55467 50391 36791) <))
(vector-set! Xn_1_FACVEC 152 (sort (list 3 3 3 3 3 3 3 3 524287 524287 524287 524287 524287 524287 524287 524287) <))
(vector-set! Xn_1_FACVEC 153 (sort (list 3 7 73 313 433 283 471 499 415 18911233 19173385 16781833 18879049) <))
(vector-set! Xn_1_FACVEC 154 (sort (list 3 3 13 13 11 11 2047 2047 1961315997 1961315997 1555657623 1555657623) <))
(vector-set! Xn_1_FACVEC 155 (sort (list 3 31 47 59 61 55 37 41 1890379 1202645 1483667 1721191 1405769 1652909) <))
(vector-set! Xn_1_FACVEC 156 (sort (list 3 3 3 3 7 7 7 7 8191 8191 8191 8191 6031 6031 6031 6031 7741 7741 7741 7741) <))
(vector-set! Xn_1_FACVEC 157 (sort (list 3 8239047024530519 5549670408707513 4514276084920833) <))
(vector-set! Xn_1_FACVEC 158 (sort (list 3 3 1013993764633 1013993764633 656848807991 656848807991) <))
(vector-set! Xn_1_FACVEC 159 (sort (list 3 7 6891155929354505 5085689368796099 9007199254740991) <))
(vector-set! Xn_1_FACVEC 160 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31) <))
(vector-set! Xn_1_FACVEC 161 (sort (list 3 11 13 2787 3189 11359835949 9658333835 12141093525 14050514929) <))
(vector-set! Xn_1_FACVEC 162 (sort (list 3 3 7 7 73 73 262657 262657 18014398643699713 18014398643699713) <))
(vector-set! Xn_1_FACVEC 163 (sort (list 3 11692013098647223345629478661730264157247460343807) <))
(vector-set! Xn_1_FACVEC 164 (sort (list 3 3 3 3 1789531 1789531 1789531 1789531 1560189 1560189 1560189 1560189) <))
(vector-set! Xn_1_FACVEC 165 (sort (list 3 7 31 25 19 1571 2047 1193 1618389 1495783 1648407 1907859 1405347 1894765) <))
(vector-set! Xn_1_FACVEC 166 (sort (list 3 3 9671406556917033397649407 9671406556917033397649407) <))
(vector-set! Xn_1_FACVEC 167 (sort (list 3 12480206471877843464369491 15313548406160741368411301) <))
(vector-set! Xn_1_FACVEC 168 (sort (list 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 13 13 13 13 13 13 13 13 11 11 11 11 11 11 11 11 117 117 117 117 117 117 117 117 87 87 87 87 87 87 87 87) <))
(vector-set! Xn_1_FACVEC 169 (sort (list 3 8191 91355004067076339167413824240109498970069278721) <))
(vector-set! Xn_1_FACVEC 170 (sort (list 3 3 31 31 319 319 471 471 375 375 379 379 395 395 477 477 313 313 505 505 419 419 445 445) <))
(vector-set! Xn_1_FACVEC 171 (sort (list 3 7 73 367309 506607 323513 377373 373357 285393 524287 473831 428683) <))
(vector-set! Xn_1_FACVEC 172 (sort (list 3 3 3 3 20473 20473 20473 20473 21653 21653 21653 21653 26763 26763 26763 26763) <))
(vector-set! Xn_1_FACVEC 173 (sort (list 3 11972621413014756705924586149611790497021399392059391) <))
(vector-set! Xn_1_FACVEC 174 (sort (list 3 3 7 7 536870911 536870911 521731021 521731021 377217823 377217823) <))
(vector-set! Xn_1_FACVEC 175 (sort (list 3 11 13 31 7485 6039 1082401 1154083722758194209 1190077301078918145) <))
(vector-set! Xn_1_FACVEC 176 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047) <))
(vector-set! Xn_1_FACVEC 177 (sort (list 3 7 355340793525416889 576460752303423487 454241279392521619) <))
(vector-set! Xn_1_FACVEC 178 (sort (list 3 3 3583 3583 2243 2243 3121 3121 3785 3785 4091 4091 3961 3961 2543 2543 2359 2359) <))
(vector-set! Xn_1_FACVEC 179 (sort (list 3 766247770432944429179173513575154591809369561091801087) <))
(vector-set! Xn_1_FACVEC 180 (sort (list 3 3 3 3 7 7 7 7 31 31 31 31 19 19 19 19 25 25 25 25 73 73 73 73 4609 4609 4609 4609 4105 4105 4105 4105) <))
(vector-set! Xn_1_FACVEC 181 (sort (list 3 3064991081731777716716694054300618367237478244367204351) <))
(vector-set! Xn_1_FACVEC 182 (sort (list 3 3 13 13 11 11 5635 5635 6779 6779 6157 6157 4473 4473 5073 5073 7115 7115 8191 8191) <))
(vector-set! Xn_1_FACVEC 183 (sort (list 3 7 2305843009213693951 2250093157199777869 1603579199015023519) <))
(vector-set! Xn_1_FACVEC 184 (sort (list 3 3 3 3 3 3 3 3 2787 2787 2787 2787 2787 2787 2787 2787 3189 3189 3189 3189 3189 3189 3189 3189) <))
(vector-set! Xn_1_FACVEC 185 (sort (list 3 31 111541535731 135522137663 84913001593 137438953471 116607896731) <))
(vector-set! Xn_1_FACVEC 186 (sort (list 3 3 7 7 55 55 37 37 59 59 41 41 47 47 61 61 1703 1703 1835 1835 1291 1291 1077 1077 1377 1377 1669 1669) <))
(vector-set! Xn_1_FACVEC 187 (sort (list 3 313 471 2047 1895752859663 1529236781519 2092680044621 2061608127803) <))
(vector-set! Xn_1_FACVEC 188 (sort (list 3 3 3 3 16215601 16215601 16215601 16215601 9205487 9205487 9205487 9205487) <))
(vector-set! Xn_1_FACVEC 189 (sort (list 3 7 11 13 67 109 103 97 73 117 87 115 91 262153 295489 299017 266761 294985 262657 294913) <))
(vector-set! Xn_1_FACVEC 190 (sort (list 3 3 31 31 524287 524287 69599744739 69599744739 106996548993 106996548993) <))
(vector-set! Xn_1_FACVEC 191 (sort (list 3 78644073401822626216766408833 39943745957741293052335175807) <))
(vector-set! Xn_1_FACVEC 192 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7) <))
(vector-set! Xn_1_FACVEC 193 (sort (list 3 81833278496347651841033415713 153563424077244696715999189023) <))
(vector-set! Xn_1_FACVEC 194 (sort (list 3 3 293918051210657 293918051210657 547674424979615 547674424979615) <))
(vector-set! Xn_1_FACVEC 195 (sort (list 3 7 31 19 25 6887 8111 4215 7617 7741 5349 5505 7871 7403 4593 8191 6891 4149 5981 6031) <))
(vector-set! Xn_1_FACVEC 196 (sort (list 3 3 3 3 11 11 11 11 13 13 13 13 2113537 2113537 2113537 2113537 2097281 2097281 2097281 2097281) <))
(vector-set! Xn_1_FACVEC 197 (sort (list 3 200867255532373784442745261542645325315275374222849104412671) <))
(vector-set! Xn_1_FACVEC 198 (sort (list 3 3 7 7 73 73 2047 2047 1571 1571 1193 1193 1075872257 1075872257 1207992329 1207992329) <))
(vector-set! Xn_1_FACVEC 199 (sort (list 3 1062970323204737583338981760813 896124389433386468836756313451) <))
(vector-set! Xn_1_FACVEC 200 (sort (list 3 3 3 3 3 3 3 3 31 31 31 31 31 31 31 31 1082401 1082401 1082401 1082401 1082401 1082401 1082401 1082401) <))
(vector-set! Xn_1_FACVEC 201 (sort (list 3 7 147573952589676412927 105891595765351615981 146437842581299585151) <))
(vector-set! Xn_1_FACVEC 202 (sort (list 3 3 2535301200456458802993406410751 2535301200456458802993406410751) <))
(vector-set! Xn_1_FACVEC 203 (sort (list 3 13 11 536870911 28024233172798962844158871 35334902653016742910447261) <))
(vector-set! Xn_1_FACVEC 204 (sort (list 3 3 3 3 7 7 7 7 471 471 471 471 313 313 313 313 283 283 283 283 499 499 499 499 415 415 415 415 433 433 433 433) <))
(vector-set! Xn_1_FACVEC 205 (sort (list 3 31 1238249 1072961 1814203 1560189 1420981 1789531 2045343 1851271 1330757 1459277) <))
(vector-set! Xn_1_FACVEC 206 (sort (list 3 3 3127191258723083 3127191258723083 3673431891067789 3673431891067789) <))
(vector-set! Xn_1_FACVEC 207 (sort (list 3 7 73 3189 2787 5451879 7538277 74942431692711034953 84165803112298479681) <))
(vector-set! Xn_1_FACVEC 208 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191) <))
(vector-set! Xn_1_FACVEC 209 (sort (list 3 2047 524287 1494993547292257520009357657 2053217677032723965948998187) <))
(vector-set! Xn_1_FACVEC 210 (sort (list 3 3 7 7 13 13 11 11 19 19 31 31 25 25 117 117 87 87 7049 7049 4461 4461 6039 6039 5841 5841 7485 7485 4667 4667) <))
(vector-set! Xn_1_FACVEC 211 (sort (list 3 3291009114642412084309938365114701009965471731267159726697218047) <))
(vector-set! Xn_1_FACVEC 212 (sort (list 3 3 3 3 9007199254740991 9007199254740991 9007199254740991 9007199254740991) <))
(vector-set! Xn_1_FACVEC 213 (sort (list 3 7 55167946629 43469906355 2205818148561788786581 1567234216424450024695) <))
(vector-set! Xn_1_FACVEC 214 (sort (list 3 3 162259276829213363391578010288127 162259276829213363391578010288127) <))
(vector-set! Xn_1_FACVEC 215 (sort (list 3 31 20473 21653 26763 395044057 463171503 325384765 463866053 341970107 515824443) <))
(vector-set! Xn_1_FACVEC 216 (sort (list 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 73 73 73 73 73 73 73 73 262657 262657 262657 262657 262657 262657 262657 262657) <))
(vector-set! Xn_1_FACVEC 217 (sort (list 3 11 13 55 59 37 47 41 61 59161 36673 41127 41769 58629 33521 38085 48853 53941 43901 44363 39143) <))
(vector-set! Xn_1_FACVEC 218 (sort (list 3 3 91741980501 91741980501 123958445927 123958445927 95742700109 95742700109) <))
(vector-set! Xn_1_FACVEC 219 (sort (list 3 7 535 665 515 587 613 841 929 769 273739 481601 353617 431521 267479 459009 263175 283957) <))
(vector-set! Xn_1_FACVEC 220 (sort (list 3 3 3 3 31 31 31 31 2047 2047 2047 2047 1894765 1894765 1894765 1894765 1495783 1495783 1495783 1495783) <))
(vector-set! Xn_1_FACVEC 221 (sort (list 3 313 471 8191 31902021 16826411 17567689 25950549 22364067 19390561 27788801 21309135) <))
(vector-set! Xn_1_FACVEC 222 (sort (list 3 3 7 7 137438953471 137438953471 82440996083 82440996083 111207215513 111207215513) <))
(vector-set! Xn_1_FACVEC 223 (sort (list 3 254830376971 193159942513 267013508653 193757918495 223469513399 153055864781) <))
(vector-set! Xn_1_FACVEC 224 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11) <))
(vector-set! Xn_1_FACVEC 225 (sort (list 3 7 25 31 19 73 4105 4609 1048609 1081345 1082401 1152956688978935809 1152921504606879745) <))
(vector-set! Xn_1_FACVEC 226 (sort (list 3 3 325116121 325116121 467462011 467462011 282327393 282327393 341591877 341591877) <))
(vector-set! Xn_1_FACVEC 227 (sort (list 3 215679573337205118357336120696157045389097155380324579848828881993727) <))
(vector-set! Xn_1_FACVEC 228 (sort (list 3 3 3 3 7 7 7 7 377373 377373 377373 377373 524287 524287 524287 524287 506607 506607 506607 506607) <))
(vector-set! Xn_1_FACVEC 229 (sort (list 3 135808038651795464685671 97227564058998130715941 111785896637667320724157) <))
(vector-set! Xn_1_FACVEC 230 (sort (list 3 3 31 31 3189 3189 2787 2787 34234253441925 34234253441925 22247798630559 22247798630559) <))
(vector-set! Xn_1_FACVEC 231 (sort (list 3 7 13 11 87 117 1193 1571 2047 1107027881 1555657623 1527370379 1961315997 1257500609 1755695213) <))
(vector-set! Xn_1_FACVEC 232 (sort (list 3 3 3 3 3 3 3 3 536870911 536870911 536870911 536870911 536870911 536870911 536870911 536870911) <))
(vector-set! Xn_1_FACVEC 233 (sort (list 3 923942289 911946237 802767793 596346963 847541361 594585341 577704507 803419803) <))
(vector-set! Xn_1_FACVEC 234 (sort (list 3 3 7 7 73 73 7741 7741 4351 4351 8161 8161 7927 7927 6685 6685 6031 6031 7663 7663 5899 5899 8191 8191) <))
(vector-set! Xn_1_FACVEC 235 (sort (list 3 31 16215601 9205487 5285092786789738034074595923 7826219924961700646873184529) <))
(vector-set! Xn_1_FACVEC 236 (sort (list 3 3 3 3 576460752303423487 576460752303423487 576460752303423487 576460752303423487) <))
(vector-set! Xn_1_FACVEC 237 (sort (list 3 7 656848807991 1013993764633 328783118172568162795307 502928816356494034173137) <))
(vector-set! Xn_1_FACVEC 238 (sort (list 3 3 13 13 11 11 471 471 313 313 19574993 19574993 18225833 18225833 30127125 30127125 22043559 22043559) <))
(vector-set! Xn_1_FACVEC 239 (sort (list 3 711766918027760542374404195665946767 1251783663137182697838408941985015953) <))
(vector-set! Xn_1_FACVEC 240 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19) <))
(vector-set! Xn_1_FACVEC 241 (sort (list 3 27317771 23320461 30244199 17694561 25558851 29851079 19970585 26153443 21845349 23855021) <))
(vector-set! Xn_1_FACVEC 242 (sort (list 3 3 2047 2047 1298708349570020393652962442872833 1298708349570020393652962442872833) <))
(vector-set! Xn_1_FACVEC 243 (sort (list 3 7 73 262657 18014398643699713 5846006549323611672814741748716771307882079584257) <))
(vector-set! Xn_1_FACVEC 244 (sort (list 3 3 3 3 2305843009213693951 2305843009213693951 2305843009213693951 2305843009213693951) <))
(vector-set! Xn_1_FACVEC 245 (sort (list 3 13 11 31 6039 7485 2113537 2097281 19344003001447365321179265 19495109504964241521655809) <))
(vector-set! Xn_1_FACVEC 246 (sort (list 3 3 7 7 1560189 1560189 1134071 1134071 1271421 1271421 1559769 1559769 1963601 1963601 1789531 1789531) <))
(vector-set! Xn_1_FACVEC 247 (sort (list 3 8191 524287 69846840165 89549019201 131863405587 107457722799 122306589609 80426437575) <))
(vector-set! Xn_1_FACVEC 248 (sort (list 3 3 3 3 3 3 3 3 61 61 61 61 61 61 61 61 59 59 59 59 59 59 59 59 41 41 41 41 41 41 41 41 55 55 55 55 55 55 55 55 37 37 37 37 37 37 37 37 47 47 47 47 47 47 47 47) <))
(vector-set! Xn_1_FACVEC 249 (sort (list 3 7 7166052857255875234559421 9671406556917033397649407 9100885824685208997226255) <))
(vector-set! Xn_1_FACVEC 250 (sort (list 3 3 31 31 1082401 1082401 1267650638007162390353805312001 1267650638007162390353805312001) <))
(vector-set! Xn_1_FACVEC 251 (sort (list 3 1269435209255433 1132733915423489 1500918732178773 1986479280909191 1437211482007237) <))
(vector-set! Xn_1_FACVEC 252 (sort (list 3 3 3 3 7 7 7 7 11 11 11 11 13 13 13 13 67 67 67 67 117 117 117 117 109 109 109 109 73 73 73 73 103 103 103 103 87 87 87 87 91 91 91 91 97 97 97 97 115 115 115 115) <))
(vector-set! Xn_1_FACVEC 253 (sort (list 3 2047 2787 3189 2526744882254904392761801916888869 1672531004630623930125176167994527) <))
(vector-set! Xn_1_FACVEC 254 (sort (list 3 3 131 131 171 171 247 247 143 143 191 191 193 193 241 241 167 167 239 239 203 203 253 253 211 211 145 145 157 157 213 213 137 137 229 229 185 185) <))
(vector-set! Xn_1_FACVEC 255 (sort (list 3 7 25 31 19 471 391 433 299 313 505 463 499 285 357 477 397 355 419 369 445 415 375 451 379 301 351 487 283 319 501 425 333 361 395) <))
(vector-set! Xn_1_FACVEC 256 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3) <))
(vector-set! Xn_1_FACVEC 257 (sort (list 3 94189 123791 73993 114951 112603 98563 71985 126319 107403 97213 79193 109931 120151 88373 129343 95581) <))
(vector-set! Xn_1_FACVEC 258 (sort (list 3 3 7 7 20473 20473 17873 17873 26067 26067 17057 17057 21653 21653 32447 32447 29671 29671 26763 26763 21477 21477) <))
(vector-set! Xn_1_FACVEC 259 (sort (list 3 11 13 137438953471 72504735029 125834444681 78375896663 92707696865 111571617071 131340340211) <))
(vector-set! Xn_1_FACVEC 260 (sort (list 3 3 3 3 31 31 31 31 5349 5349 5349 5349 6891 6891 6891 6891 4593 4593 4593 4593 5981 5981 5981 5981 8191 8191 8191 8191) <))
(vector-set! Xn_1_FACVEC 261 (sort (list 3 7 73 521731021 377217823 536870911 19682907810559112742179401 22105398803389711565193793) <))
(vector-set! Xn_1_FACVEC 262 (sort (list 3 3 2722258935367507707706996859454145691647 2722258935367507707706996859454145691647) <))
(vector-set! Xn_1_FACVEC 263 (sort (list 3 4337932580912615180267661489237082235685 3504492690912893445739209331052297318355) <))
(vector-set! Xn_1_FACVEC 264 (sort (list 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 1193 1193 1193 1193 1193 1193 1193 1193 1571 1571 1571 1571 1571 1571 1571 1571 2047 2047 2047 2047 2047 2047 2047 2047) <))
(vector-set! Xn_1_FACVEC 265 (sort (list 3 31 9007199254740991 7711556581143771 6587525895380189 7184638019161139 7226436381099699) <))
(vector-set! Xn_1_FACVEC 266 (sort (list 3 3 13 13 11 11 350445 350445 459115 459115 524287 524287 374997 374997 439303 439303 506125 506125 361711 361711) <))
(vector-set! Xn_1_FACVEC 267 (sort (list 3 7 2543 2359 3583 3785 3961 3121 4091 2243 6836209 4614151 4716811 7527131 4295723 7187879 7342897 6953153) <))
(vector-set! Xn_1_FACVEC 268 (sort (list 3 3 3 3 147573952589676412927 147573952589676412927 147573952589676412927 147573952589676412927) <))
(vector-set! Xn_1_FACVEC 269 (sort (list 3 948568795032094272909893509191171341133987714380927500611236528192824358010355711) <))
(vector-set! Xn_1_FACVEC 270 (sort (list 3 3 7 7 31 31 19 19 25 25 73 73 4105 4105 4609 4609 262657 262657 68853694465 68853694465 68719477249 68719477249) <))
(vector-set! Xn_1_FACVEC 271 (sort (list 3 52351050707533725202735272961443912127415 80914722541909474137250084276955249712025) <))
(vector-set! Xn_1_FACVEC 272 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 471 471 471 471 471 471 471 471 471 471 471 471 471 471 471 471 313 313 313 313 313 313 313 313 313 313 313 313 313 313 313 313) <))
(vector-set! Xn_1_FACVEC 273 (sort (list 3 7 11 13 117 87 7351 4579 7591 7777 4497 6031 5635 8077 4473 8191 7741 6385 6779 4401 4303 5695 7115 8019 5073 6495 6157) <))
(vector-set! Xn_1_FACVEC 274 (sort (list 3 3 511598520368403020731 511598520368403020731 429952408607916191325 429952408607916191325) <))
(vector-set! Xn_1_FACVEC 275 (sort (list 3 31 2047 1643553 1628785 1166179 1937041 1495783 1381427 1299713 1672469 1082643 1894765 1125943 1082401 1054073) <))
(vector-set! Xn_1_FACVEC 276 (sort (list 3 3 3 3 7 7 7 7 2787 2787 2787 2787 3189 3189 3189 3189 5451879 5451879 5451879 5451879 7538277 7538277 7538277 7538277) <))
(vector-set! Xn_1_FACVEC 277 (sort (list 3 6345320323688868989086441509 7345769158304406754702411709 8899669244378605695627997287) <))
(vector-set! Xn_1_FACVEC 278 (sort (list 3 3 696898287454081973172991196020261297061887 696898287454081973172991196020261297061887) <))
(vector-set! Xn_1_FACVEC 279 (sort (list 3 7 47 41 61 37 59 55 73 1077 1377 1703 1291 1669 1835 1210056769 1090813953 1090519561 1073778753 1210089545 1224770057) <))
(vector-set! Xn_1_FACVEC 280 (sort (list 3 3 3 3 3 3 3 3 11 11 11 11 11 11 11 11 13 13 13 13 13 13 13 13 31 31 31 31 31 31 31 31 6039 6039 6039 6039 6039 6039 6039 6039 7485 7485 7485 7485 7485 7485 7485 7485) <))
(vector-set! Xn_1_FACVEC 281 (sort (list 3 1843064446136682728419 1888543858958200832819 1457687162069978140793 1973593760762513088427) <))
(vector-set! Xn_1_FACVEC 282 (sort (list 3 3 7 7 16215601 16215601 9205487 9205487 114507279960881 114507279960881 77414618731019 77414618731019) <))
(vector-set! Xn_1_FACVEC 283 (sort (list 3 25794300223654097580049599845 32479716864755087035759634315 22702296795387104559679909193) <))
(vector-set! Xn_1_FACVEC 284 (sort (list 3 3 3 3 55167946629 55167946629 55167946629 55167946629 43469906355 43469906355 43469906355 43469906355) <))
(vector-set! Xn_1_FACVEC 285 (sort (list 3 7 31 19 25 506607 524287 377373 106996548993 113144663753 69599744739 126098820319 134861096791 79157656907) <))
(vector-set! Xn_1_FACVEC 286 (sort (list 3 3 2047 2047 8191 8191 1825047513348082225 1825047513348082225 1263868118835362131 1263868118835362131) <))
(vector-set! Xn_1_FACVEC 287 (sort (list 3 13 11 1560189 1789531 1490954207805719627 1547309999590106457 1392962384733967317 1892717627544887717) <))
(vector-set! Xn_1_FACVEC 288 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73) <))
(vector-set! Xn_1_FACVEC 289 (sort (list 3 313 471 87112285931760285332545277327645419241473 87112950550828741505768416917246147952641) <))
(vector-set! Xn_1_FACVEC 290 (sort (list 3 3 31 31 278396193 278396193 501893879 501893879 376566221 376566221 536870911 536870911 296677041 296677041) <))
(vector-set! Xn_1_FACVEC 291 (sort (list 3 7 547674424979615 562941071460685 469253381356503 293918051210657 518688991225515 392663944626175) <))
(vector-set! Xn_1_FACVEC 292 (sort (list 3 3 3 3 515 515 515 515 841 841 841 841 665 665 665 665 535 535 535 535 587 587 587 587 769 769 769 769 929 929 929 929 613 613 613 613) <))
(vector-set! Xn_1_FACVEC 293 (sort (list 3 15914343565113172548972231940698266883214596825515126958094847260581103904401068017057791) <))
(vector-set! Xn_1_FACVEC 294 (sort (list 3 3 7 7 11 11 13 13 87 87 117 117 2113537 2113537 2097281 2097281 4398314963073 4398314963073 4432674701313 4432674701313) <))
(vector-set! Xn_1_FACVEC 295 (sort (list 3 31 576460752303423487 122169171971423632973581724457570071 151187243294247456157468913884257341) <))
(vector-set! Xn_1_FACVEC 296 (sort (list 3 3 3 3 3 3 3 3 137438953471 137438953471 137438953471 137438953471 137438953471 137438953471 137438953471 137438953471) <))
(vector-set! Xn_1_FACVEC 297 (sort (list 3 7 73 1571 2047 1193 262657 1075872257 1207992329 1237940048508787496260206593 1240357890924644717620625921) <))
(vector-set! Xn_1_FACVEC 298 (sort (list 3 3 713623846352979940529142984724747568191373311 713623846352979940529142984724747568191373311) <))
(vector-set! Xn_1_FACVEC 299 (sort (list 3 3189 2787 8191 10599228144540982178187971906182303457061 7016995484214826811270403626067421295775) <))
(vector-set! Xn_1_FACVEC 300 (sort (list 3 3 3 3 7 7 7 7 19 19 19 19 25 25 25 25 31 31 31 31 1081345 1081345 1081345 1081345 1048609 1048609 1048609 1048609 1082401 1082401 1082401 1082401) <))
(vector-set! Xn_1_FACVEC 301 (sort (list 3 11 13 20473 21653 26763 5825946761617 5155782459473 4741732610153 7672654991365 4728389202325 5498635924219) <))
(vector-set! Xn_1_FACVEC 302 (sort (list 3 3 39161 39161 60913 60913 60195 60195 39725 39725 50391 50391 46297 46297 54555 54555 55467 55467 40729 40729 36791 36791) <))
(vector-set! Xn_1_FACVEC 303 (sort (list 3 7 1989537923743730524154890237497 1549164234910803353845699847955 2535301200456458802993406410751) <))
(vector-set! Xn_1_FACVEC 304 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 524287 524287 524287 524287 524287 524287 524287 524287 524287 524287 524287 524287 524287 524287 524287 524287) <))
(vector-set! Xn_1_FACVEC 305 (sort (list 3 31 1489288981962300069 2305843009213693951 1579620691364412149 2152335680958672759 1663296944962639133) <))
(vector-set! Xn_1_FACVEC 306 (sort (list 3 3 7 7 73 73 433 433 283 283 415 415 471 471 499 499 313 313 18911233 18911233 16781833 16781833 18879049 18879049 19173385 19173385) <))
(vector-set! Xn_1_FACVEC 307 (sort (list 3 8075424869647387615466275757011 6948865628146272460631221180149 5434698606083759450932083362961) <))
(vector-set! Xn_1_FACVEC 308 (sort (list 3 3 3 3 11 11 11 11 13 13 13 13 2047 2047 2047 2047 1555657623 1555657623 1555657623 1555657623 1961315997 1961315997 1961315997 1961315997) <))
(vector-set! Xn_1_FACVEC 309 (sort (list 3 7 3673431891067789 3127191258723083 6967363762083439524236435378007 9307419525382007940041577433077) <))
(vector-set! Xn_1_FACVEC 310 (sort (list 3 3 31 31 61 61 41 41 59 59 55 55 47 47 37 37 1652909 1652909 1483667 1483667 1890379 1890379 1202645 1202645 1405769 1405769 1721191 1721191) <))
(vector-set! Xn_1_FACVEC 311 (sort (list 3 60924351522567456976872636362617565429056215043 68542356124016638941229282786010436981483961685) <))
(vector-set! Xn_1_FACVEC 312 (sort (list 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 8191 8191 8191 8191 8191 8191 8191 8191 6031 6031 6031 6031 6031 6031 6031 6031 7741 7741 7741 7741 7741 7741 7741 7741) <))
(vector-set! Xn_1_FACVEC 313 (sort (list 3 117589484765881593568054334956219485800447140645 145554875128901935821298026358636180826491121619) <))
(vector-set! Xn_1_FACVEC 314 (sort (list 3 3 8239047024530519 8239047024530519 5549670408707513 5549670408707513 4514276084920833 4514276084920833) <))
(vector-set! Xn_1_FACVEC 315 (sort (list 3 7 11 13 31 19 25 67 115 73 91 97 117 109 103 87 6751 7383 6741 7527 6039 6395 5841 4119 5451 7139 7485 4677 7425 8011 7049 5193 4667 4461 4105 4609) <))
(vector-set! Xn_1_FACVEC 316 (sort (list 3 3 3 3 656848807991 656848807991 656848807991 656848807991 1013993764633 1013993764633 1013993764633 1013993764633) <))
(vector-set! Xn_1_FACVEC 317 (sort (list 3 266998379490113760299377713271194014325338065294581596243380200977777465722580068752870260867071) <))
(vector-set! Xn_1_FACVEC 318 (sort (list 3 3 7 7 9007199254740991 9007199254740991 5085689368796099 5085689368796099 6891155929354505 6891155929354505) <))
(vector-set! Xn_1_FACVEC 319 (sort (list 3 2047 536870911 1603121663525650888584269435272662595857307 2372079447013243982927228683456682994212041) <))
(vector-set! Xn_1_FACVEC 320 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31) <))
(vector-set! Xn_1_FACVEC 321 (sort (list 3 7 123354738728386480383829125724483 92048009220283760493781473270921 162259276829213363391578010288127) <))
(vector-set! Xn_1_FACVEC 322 (sort (list 3 3 11 11 13 13 2787 2787 3189 3189 9658333835 9658333835 12141093525 12141093525 11359835949 11359835949 14050514929 14050514929) <))
(vector-set! Xn_1_FACVEC 323 (sort (list 3 471 313 524287 7464490485620790742855 5599703594164649360115 8372922633682565646931 7650539679600657425385) <))
(vector-set! Xn_1_FACVEC 324 (sort (list 3 3 3 3 7 7 7 7 73 73 73 73 262657 262657 262657 262657 18014398643699713 18014398643699713 18014398643699713 18014398643699713) <))
(vector-set! Xn_1_FACVEC 325 (sort (list 3 31 8191 5349 6891 4593 5981 1082401 1188985521464967201 1154047439980725249 1154083689472230401 1152922639586557953) <))
(vector-set! Xn_1_FACVEC 326 (sort (list 3 3 11692013098647223345629478661730264157247460343807 11692013098647223345629478661730264157247460343807) <))
(vector-set! Xn_1_FACVEC 327 (sort (list 3 7 91741980501 95742700109 127777361269 108408187715 93792960631 123958445927 104600745875 128141716743 120642696567) <))
(vector-set! Xn_1_FACVEC 328 (sort (list 3 3 3 3 3 3 3 3 1560189 1560189 1560189 1560189 1560189 1560189 1560189 1560189 1789531 1789531 1789531 1789531 1789531 1789531 1789531 1789531) <))
(vector-set! Xn_1_FACVEC 329 (sort (list 3 13 11 16215601 9205487 867180633150090402833 611774991710569808359 628236280187413352509 1067667240721687647521) <))
(vector-set! Xn_1_FACVEC 330 (sort (list 3 3 7 7 31 31 25 25 19 19 1193 1193 2047 2047 1571 1571 1405347 1405347 1618389 1618389 1495783 1495783 1907859 1907859 1648407 1648407 1894765 1894765) <))
(vector-set! Xn_1_FACVEC 331 (sort (list 3 1966114391 1376030757 1500105549 1541706733 1360303173 1646785059 1227088457 2004992247 1195815281 1748618763 2126429887) <))
(vector-set! Xn_1_FACVEC 332 (sort (list 3 3 3 3 9671406556917033397649407 9671406556917033397649407 9671406556917033397649407 9671406556917033397649407) <))
(vector-set! Xn_1_FACVEC 333 (sort (list 3 7 73 73688879747 137438953471 103104805019 102106878903 116564701187 127663737981 111207215513 82440996083 103768752785) <))
(vector-set! Xn_1_FACVEC 334 (sort (list 3 3 12480206471877843464369491 12480206471877843464369491 15313548406160741368411301 15313548406160741368411301) <))
(vector-set! Xn_1_FACVEC 335 (sort (list 3 31 147573952589676412927 8621969634188923590221589358316387224593 5793317817088685963986176862585551965523) <))
(vector-set! Xn_1_FACVEC 336 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 87 87 87 87 87 87 87 87 87 87 87 87 87 87 87 87 117 117 117 117 117 117 117 117 117 117 117 117 117 117 117 117) <))
(vector-set! Xn_1_FACVEC 337 (sort (list 3 2932169 3694139 3988081 2816251 3433627 3557771 2508455 2437221 3655637 2720553 3119741 3612295 3118717 2332367 3758233 2420557) <))
(vector-set! Xn_1_FACVEC 338 (sort (list 3 3 8191 8191 91355004067076339167413824240109498970069278721 91355004067076339167413824240109498970069278721) <))
(vector-set! Xn_1_FACVEC 339 (sort (list 3 7 352107825 477045025 295151589 425604575 527798099 469764795 464125959 341591877 467462011 282327393 277913287 325116121) <))
(vector-set! Xn_1_FACVEC 340 (sort (list 3 3 3 3 31 31 31 31 419 419 419 419 313 313 313 313 375 375 375 375 477 477 477 477 445 445 445 445 379 379 379 379 505 505 505 505 471 471 471 471 395 395 395 395 319 319 319 319) <))
(vector-set! Xn_1_FACVEC 341 (sort (list 3 41 61 37 55 47 59 1039 1915 1783 2047 1921 1383 1107 1617 1927 1053 1473 1709 1095 1451 1585 1989 2027 1261 1199 1311 1435 1845 1225 1123 1465 1177 1807 1727 1741 1961 1809) <))
(vector-set! Xn_1_FACVEC 342 (sort (list 3 3 7 7 73 73 473831 473831 377373 377373 367309 367309 506607 506607 323513 323513 373357 373357 524287 524287 428683 428683 285393 285393) <))
(vector-set! Xn_1_FACVEC 343 (sort (list 3 11 13 2097281 2113537 178405961588245302044935803238537266223644673 178405961588244985132285746181749842001264641) <))
(vector-set! Xn_1_FACVEC 344 (sort (list 3 3 3 3 3 3 3 3 21653 21653 21653 21653 21653 21653 21653 21653 20473 20473 20473 20473 20473 20473 20473 20473 26763 26763 26763 26763 26763 26763 26763 26763) <))
(vector-set! Xn_1_FACVEC 345 (sort (list 3 7 31 25 19 2787 3189 5451879 7538277 18106066034451 21031921599829 23452090163353 22247798630559 27622154485185 34234253441925) <))
(vector-set! Xn_1_FACVEC 346 (sort (list 3 3 11972621413014756705924586149611790497021399392059391 11972621413014756705924586149611790497021399392059391) <))
(vector-set! Xn_1_FACVEC 347 (sort (list 3 286687326998758938951352611912760867599570623646035140467198604923365359511060601008752319138765710819327) <))
(vector-set! Xn_1_FACVEC 348 (sort (list 3 3 3 3 7 7 7 7 536870911 536870911 536870911 536870911 521731021 521731021 521731021 521731021 377217823 377217823 377217823 377217823) <))
(vector-set! Xn_1_FACVEC 349 (sort (list 3 1146749307995035755805410447651043470398282494584140561868794419693461438044242404035009276555062843277311) <))
(vector-set! Xn_1_FACVEC 350 (sort (list 3 3 11 11 13 13 31 31 6039 6039 7485 7485 1082401 1082401 1190077301078918145 1190077301078918145 1154083722758194209 1154083722758194209) <))
(vector-set! Xn_1_FACVEC 351 (sort (list 3 7 73 5899 8191 6685 7741 4351 7927 8161 6031 7663 262657 78536540161 78519767113 68721873481 77443633729 78402323017 69944214025) <))
(vector-set! Xn_1_FACVEC 352 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047 2047) <))
(vector-set! Xn_1_FACVEC 353 (sort (list 3 409696354028452946136682133 316514338021885549421401921 434013671887875419448213965 558522720451099730247155559) <))
(vector-set! Xn_1_FACVEC 354 (sort (list 3 3 7 7 576460752303423487 576460752303423487 355340793525416889 355340793525416889 454241279392521619 454241279392521619) <))
(vector-set! Xn_1_FACVEC 355 (sort (list 3 31 43469906355 55167946629 1866648351282085478813262154533829267554671 2684168228750304140598861751811739241756373) <))
(vector-set! Xn_1_FACVEC 356 (sort (list 3 3 3 3 3961 3961 3961 3961 2543 2543 2543 2543 4091 4091 4091 4091 2243 2243 2243 2243 3785 3785 3785 3785 3583 3583 3583 3583 2359 2359 2359 2359 3121 3121 3121 3121) <))
(vector-set! Xn_1_FACVEC 357 (sort (list 3 7 11 13 87 117 499 313 471 283 415 433 24876475 17500619 30449229 21817233 19574993 29053885 18225833 18075237 23392791 27730337 30127125 22043559) <))
(vector-set! Xn_1_FACVEC 358 (sort (list 3 3 766247770432944429179173513575154591809369561091801087 766247770432944429179173513575154591809369561091801087) <))
(vector-set! Xn_1_FACVEC 359 (sort (list 3 1229066163255213293256186184632416455261363162895131269 965412266885260274003067555624844004739474362271795891) <))
(vector-set! Xn_1_FACVEC 360 (sort (list 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 25 25 25 25 25 25 25 25 31 31 31 31 31 31 31 31 19 19 19 19 19 19 19 19 73 73 73 73 73 73 73 73 4609 4609 4609 4609 4609 4609 4609 4609 4105 4105 4105 4105 4105 4105 4105 4105) <))
(vector-set! Xn_1_FACVEC 361 (sort (list 3 524287 8958996056640096847297303182376587736776546238637692220891576451570262185080341276681279522035712131073) <))
(vector-set! Xn_1_FACVEC 362 (sort (list 3 3 3064991081731777716716694054300618367237478244367204351 3064991081731777716716694054300618367237478244367204351) <))
(vector-set! Xn_1_FACVEC 363 (sort (list 3 7 2047 1571 1193 1298074214784822670613258338041857 1298708039933821057862169452873729 1298708349570020393652962442872833) <))
(vector-set! Xn_1_FACVEC 364 (sort (list 3 3 3 3 13 13 13 13 11 11 11 11 5073 5073 5073 5073 6157 6157 6157 6157 8191 8191 8191 8191 7115 7115 7115 7115 4473 4473 4473 4473 5635 5635 5635 5635 6779 6779 6779 6779) <))
(vector-set! Xn_1_FACVEC 365 (sort (list 3 31 769 587 613 929 841 535 665 515 69688086411 91163520473 69123446303 83599061909 77600344279 112717443969 126204334345 133362418433) <))
(vector-set! Xn_1_FACVEC 366 (sort (list 3 3 7 7 2305843009213693951 2305843009213693951 2250093157199777869 2250093157199777869 1603579199015023519 1603579199015023519) <))
(vector-set! Xn_1_FACVEC 367 (sort (list 3 22445339682001824727982600531152231721107594267703172537 15107639968652771671370936428504012248719104620023573079) <))
(vector-set! Xn_1_FACVEC 368 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2787 2787 2787 2787 2787 2787 2787 2787 2787 2787 2787 2787 2787 2787 2787 2787 3189 3189 3189 3189 3189 3189 3189 3189 3189 3189 3189 3189 3189 3189 3189 3189) <))
(vector-set! Xn_1_FACVEC 369 (sort (list 3 7 73 1963601 1271421 1134071 1560189 1789531 1559769 1315372768271011841 1173508769991365121 1155459728407827009 1153207387312918601) <))
(vector-set! Xn_1_FACVEC 370 (sort (list 3 3 31 31 135522137663 135522137663 116607896731 116607896731 137438953471 137438953471 111541535731 111541535731 84913001593 84913001593) <))
(vector-set! Xn_1_FACVEC 371 (sort (list 3 11 13 9007199254740991 132340699443349476845215555718404360671141940119 166864360167701511089017622057895238630440914589) <))
(vector-set! Xn_1_FACVEC 372 (sort (list 3 3 3 3 7 7 7 7 47 47 47 47 37 37 37 37 55 55 55 55 61 61 61 61 59 59 59 59 41 41 41 41 1077 1077 1077 1077 1291 1291 1291 1291 1669 1669 1669 1669 1835 1835 1835 1835 1703 1703 1703 1703 1377 1377 1377 1377) <))
(vector-set! Xn_1_FACVEC 373 (sort (list 3 19239260838083241802870625048898248928261591440656956380834127638791856333738872368854622194768025215237611323391) <))
(vector-set! Xn_1_FACVEC 374 (sort (list 3 3 313 313 471 471 2047 2047 2061608127803 2061608127803 1529236781519 1529236781519 2092680044621 2092680044621 1895752859663 1895752859663) <))
(vector-set! Xn_1_FACVEC 375 (sort (list 3 7 31 19 25 1081345 1082401 1048609 1267650600228229401496736759809 1267650638007161264453864914945 1267650638007162390353805312001) <))
(vector-set! Xn_1_FACVEC 376 (sort (list 3 3 3 3 3 3 3 3 16215601 16215601 16215601 16215601 16215601 16215601 16215601 16215601 9205487 9205487 9205487 9205487 9205487 9205487 9205487 9205487) <))
(vector-set! Xn_1_FACVEC 377 (sort (list 3 8191 536870911 34719478353264335538127783 36329211114922314234861071 38676441690362876087111679 22520873932595252174774441) <))
(vector-set! Xn_1_FACVEC 378 (sort (list 3 3 7 7 11 11 13 13 91 91 87 87 67 67 97 97 109 109 73 73 115 115 103 103 117 117 262657 262657 266761 266761 294985 294985 262153 262153 294913 294913 295489 295489 299017 299017) <))
(vector-set! Xn_1_FACVEC 379 (sort (list 3 1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697087) <))
(vector-set! Xn_1_FACVEC 380 (sort (list 3 3 3 3 31 31 31 31 524287 524287 524287 524287 69599744739 69599744739 69599744739 69599744739 106996548993 106996548993 106996548993 106996548993) <))
(vector-set! Xn_1_FACVEC 381 (sort (list 3 7 193 253 239 241 143 131 145 247 185 191 167 213 229 211 157 171 137 203 22267 16785 20571 18155 26667 28801 27147 21105 16519 17601 18213 28597 29975 27569 30405 20919 29783 27909) <))
(vector-set! Xn_1_FACVEC 382 (sort (list 3 3 78644073401822626216766408833 78644073401822626216766408833 39943745957741293052335175807 39943745957741293052335175807) <))
(vector-set! Xn_1_FACVEC 383 (sort (list 3 6083317709772602314507168132989303409849594038542898932769 3241769011192017165445976649364110956927027311597589829663) <))
(vector-set! Xn_1_FACVEC 384 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7) <))
(vector-set! Xn_1_FACVEC 385 (sort (list 3 13 11 31 2047 6039 7485 1495783 1894765 1961315997 1555657623 1543459227113711877 1446450248380439253 2110480694187198105 1381500393306911319) <))
(vector-set! Xn_1_FACVEC 386 (sort (list 3 3 81833278496347651841033415713 81833278496347651841033415713 153563424077244696715999189023 153563424077244696715999189023) <))
(vector-set! Xn_1_FACVEC 387 (sort (list 3 7 73 21653 29671 17057 32447 26067 17873 26763 20473 21477 4398182858753 4466919374913 5016675188809 4399139393537 4948895207433 5026321830473) <))
(vector-set! Xn_1_FACVEC 388 (sort (list 3 3 3 3 293918051210657 293918051210657 293918051210657 293918051210657 547674424979615 547674424979615 547674424979615 547674424979615) <))
(vector-set! Xn_1_FACVEC 389 (sort (list 3 1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818111) <))
(vector-set! Xn_1_FACVEC 390 (sort (list 3 3 7 7 31 31 25 25 19 19 6031 6031 5505 5505 7403 7403 6891 6891 4593 4593 7871 7871 7741 7741 5349 5349 8111 8111 4215 4215 7617 7617 4149 4149 6887 6887 5981 5981 8191 8191) <))
(vector-set! Xn_1_FACVEC 391 (sort (list 3 471 313 3189 2787 370842929472822853686511073 569202543147471864402531653 393316098434551648691246807 327958450535695506120705689) <))
(vector-set! Xn_1_FACVEC 392 (sort (list 3 3 3 3 3 3 3 3 11 11 11 11 11 11 11 11 13 13 13 13 13 13 13 13 2113537 2113537 2113537 2113537 2113537 2113537 2113537 2113537 2097281 2097281 2097281 2097281 2097281 2097281 2097281 2097281) <))
(vector-set! Xn_1_FACVEC 393 (sort (list 3 7 1908549654709074881817330074507783003853 2722258935367507707706996859454145691647 2638555131240829509125326898054260261919) <))
(vector-set! Xn_1_FACVEC 394 (sort (list 3 3 200867255532373784442745261542645325315275374222849104412671 200867255532373784442745261542645325315275374222849104412671) <))
(vector-set! Xn_1_FACVEC 395 (sort (list 3 31 656848807991 1013993764633 149886943119776436409766905568804527821853243481 109978554160924951528326544328565138062117605451) <))
(vector-set! Xn_1_FACVEC 396 (sort (list 3 3 3 3 7 7 7 7 73 73 73 73 2047 2047 2047 2047 1571 1571 1571 1571 1193 1193 1193 1193 1075872257 1075872257 1075872257 1075872257 1207992329 1207992329 1207992329 1207992329) <))
(vector-set! Xn_1_FACVEC 397 (sort (list 3 29622177227243 23951846908533 33557925942319 31171971543879 20418106093865 25190669128429 24473719507021 34120634024479 31676581043815) <))
(vector-set! Xn_1_FACVEC 398 (sort (list 3 3 896124389433386468836756313451 896124389433386468836756313451 1062970323204737583338981760813 1062970323204737583338981760813) <))
(vector-set! Xn_1_FACVEC 399 (sort (list 3 7 11 13 87 117 350445 361711 422891 350087 377373 439235 524287 330347 506607 401003 311929 459115 369443 441971 439303 374997 462677 506125 402989 438917 324121) <))
(vector-set! Xn_1_FACVEC 400 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 1082401 1082401 1082401 1082401 1082401 1082401 1082401 1082401 1082401 1082401 1082401 1082401 1082401 1082401 1082401 1082401) <))
(vector-set! Xn_1_FACVEC 401 (sort (list 3 1923985647228008714986205307044383630188921303019818663314073 2977119797319859558853476516566671591337480670337190562374839) <))
(vector-set! Xn_1_FACVEC 402 (sort (list 3 3 7 7 146437842581299585151 146437842581299585151 147573952589676412927 147573952589676412927 105891595765351615981 105891595765351615981) <))
(vector-set! Xn_1_FACVEC 403 (sort (list 3 59 55 37 61 41 47 8191 1355332442585383797 2080560022369587499 1631356713022582675 1819140563070335149 1914449419425070951 1574104156350389865) <))
(vector-set! Xn_1_FACVEC 404 (sort (list 3 3 3 3 2535301200456458802993406410751 2535301200456458802993406410751 2535301200456458802993406410751 2535301200456458802993406410751) <))
(vector-set! Xn_1_FACVEC 405 (sort (list 3 7 31 19 25 73 4609 4105 262657 68853694465 68719477249 18014398643699713 324518553658426726783156154793985 324518556076278366012414369988609) <))
(vector-set! Xn_1_FACVEC 406 (sort (list 3 3 11 11 13 13 536870911 536870911 35334902653016742910447261 35334902653016742910447261 28024233172798962844158871 28024233172798962844158871) <))
(vector-set! Xn_1_FACVEC 407 (sort (list 3 2047 137438953471 1975121481751196996952134604628812480877217921466821791 2983767643453635051015561426724124199712003444388798245) <))
(vector-set! Xn_1_FACVEC 408 (sort (list 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 415 415 415 415 415 415 415 415 283 283 283 283 283 283 283 283 313 313 313 313 313 313 313 313 471 471 471 471 471 471 471 471 499 499 499 499 499 499 499 499 433 433 433 433 433 433 433 433) <))
(vector-set! Xn_1_FACVEC 409 (sort (list 3 32403351385985673624089671793153068574109005085650215408274053 41235636522504347985908312022675752038329023208473577714979507) <))
(vector-set! Xn_1_FACVEC 410 (sort (list 3 3 31 31 1560189 1560189 1814203 1814203 1238249 1238249 1789531 1789531 2045343 2045343 1851271 1851271 1420981 1420981 1459277 1459277 1072961 1072961 1330757 1330757) <))
(vector-set! Xn_1_FACVEC 411 (sort (list 3 7 303862055760670561895 531286744928367862721 416885753333496689769 429952408607916191325 511598520368403020731 346273195227887555373) <))
(vector-set! Xn_1_FACVEC 412 (sort (list 3 3 3 3 3673431891067789 3673431891067789 3673431891067789 3673431891067789 3127191258723083 3127191258723083 3127191258723083 3127191258723083) <))
(vector-set! Xn_1_FACVEC 413 (sort (list 3 11 13 576460752303423487 43742490831801945760228409239526541681104197475847837 34692320314877405229329690666524568916680358744148887) <))
(vector-set! Xn_1_FACVEC 414 (sort (list 3 3 7 7 73 73 2787 2787 3189 3189 7538277 7538277 5451879 5451879 74942431692711034953 74942431692711034953 84165803112298479681 84165803112298479681) <))
(vector-set! Xn_1_FACVEC 415 (sort (list 3 31 9671406556917033397649407 26964941530554793874156595691962344317266520409083 40877638996964002369228917186016730045764435679689) <))
(vector-set! Xn_1_FACVEC 416 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191 8191) <))
(vector-set! Xn_1_FACVEC 417 (sort (list 3 7 538893037944140643015541310727796342042531 403052819109988626784523028182775468879913 696898287454081973172991196020261297061887) <))
(vector-set! Xn_1_FACVEC 418 (sort (list 3 3 2047 2047 524287 524287 1494993547292257520009357657 1494993547292257520009357657 2053217677032723965948998187 2053217677032723965948998187) <))
(vector-set! Xn_1_FACVEC 419 (sort (list 3 1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116287) <))
(vector-set! Xn_1_FACVEC 420 (sort (list 3 3 3 3 7 7 7 7 11 11 11 11 13 13 13 13 25 25 25 25 31 31 31 31 19 19 19 19 117 117 117 117 87 87 87 87 7485 7485 7485 7485 6039 6039 6039 6039 4461 4461 4461 4461 7049 7049 7049 7049 5841 5841 5841 5841 4667 4667 4667 4667) <))
(vector-set! Xn_1_FACVEC 421 (sort (list 3 5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465151) <))
(vector-set! Xn_1_FACVEC 422 (sort (list 3 3 3291009114642412084309938365114701009965471731267159726697218047 3291009114642412084309938365114701009965471731267159726697218047) <))
(vector-set! Xn_1_FACVEC 423 (sort (list 3 7 73 9205487 16215601 114507279960881 77414618731019 392685854027993162690820894652525157847041 348544871548639597927257057376422108070409) <))
(vector-set! Xn_1_FACVEC 424 (sort (list 3 3 3 3 3 3 3 3 9007199254740991 9007199254740991 9007199254740991 9007199254740991 9007199254740991 9007199254740991 9007199254740991 9007199254740991) <))
(vector-set! Xn_1_FACVEC 425 (sort (list 3 31 445 505 313 319 379 477 419 471 395 375 1082401 1133904920609 1099546264609 1100619973665 1134946190337 1133906002945 1134979743745 1100620005409 1133871398945) <))
(vector-set! Xn_1_FACVEC 426 (sort (list 3 3 7 7 55167946629 55167946629 43469906355 43469906355 2205818148561788786581 2205818148561788786581 1567234216424450024695 1567234216424450024695) <))
(vector-set! Xn_1_FACVEC 427 (sort (list 3 11 13 2085676651356265905 2047564232867593715 1871121848266312391 2305843009213693951 1331249323930717165 1276536030341525991 1655687790262105033) <))
(vector-set! Xn_1_FACVEC 428 (sort (list 3 3 3 3 162259276829213363391578010288127 162259276829213363391578010288127 162259276829213363391578010288127 162259276829213363391578010288127) <))
(vector-set! Xn_1_FACVEC 429 (sort (list 3 7 1193 2047 1571 6031 7741 8191 1825047513348082225 1263868118835362131 2137433343868514425 2008145356485490879 1423624856183878327 2279923865099915131) <))
(vector-set! Xn_1_FACVEC 430 (sort (list 3 3 31 31 26763 26763 21653 21653 20473 20473 341970107 341970107 515824443 515824443 325384765 325384765 463171503 463171503 395044057 395044057 463866053 463866053) <))
(vector-set! Xn_1_FACVEC 431 (sort (list 3 9710853711905 11960178120707 13664501773411 14002437085087 9076943483569 17174385443795 13618372156259 11000282122801 9642494969861 13200804597877) <))
(vector-set! Xn_1_FACVEC 432 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 73 262657 262657 262657 262657 262657 262657 262657 262657 262657 262657 262657 262657 262657 262657 262657 262657) <))
(vector-set! Xn_1_FACVEC 433 (sort (list 3 6740556411848349461869 8578194826778750796055 6322297889454083521237 5110110838649654427985 6169371341462160612581 6307540887692958691157) <))
(vector-set! Xn_1_FACVEC 434 (sort (list 3 3 11 11 13 13 55 55 37 37 59 59 41 41 61 61 47 47 33521 33521 43901 43901 39143 39143 48853 48853 59161 59161 53941 53941 41127 41127 41769 41769 58629 58629 36673 36673 38085 38085 44363 44363) <))
(vector-set! Xn_1_FACVEC 435 (sort (list 3 7 19 25 31 377217823 506721391 447651927 350530501 463602161 300943547 278396193 536870911 501893879 343581925 490778283 516290959 296677041 376566221 521731021) <))
(vector-set! Xn_1_FACVEC 436 (sort (list 3 3 3 3 123958445927 123958445927 123958445927 123958445927 95742700109 95742700109 95742700109 95742700109 91741980501 91741980501 91741980501 91741980501) <))
(vector-set! Xn_1_FACVEC 437 (sort (list 3 2787 3189 524287 781989657851991681470920038238866459070451069292978010332965 517763859363942167704353749375886755301397585606998780548255) <))
(vector-set! Xn_1_FACVEC 438 (sort (list 3 3 7 7 613 613 515 515 841 841 665 665 587 587 535 535 929 929 769 769 459009 459009 263175 263175 273739 273739 481601 481601 353617 353617 283957 283957 431521 431521 267479 267479) <))
(vector-set! Xn_1_FACVEC 439 (sort (list 3 12332372348083672455265 15590223482982061178073 9894393190402471576805 18605321534698239559059 11455301152538434114251 14877362706198012650559) <))
(vector-set! Xn_1_FACVEC 440 (sort (list 3 3 3 3 3 3 3 3 31 31 31 31 31 31 31 31 2047 2047 2047 2047 2047 2047 2047 2047 1894765 1894765 1894765 1894765 1894765 1894765 1894765 1894765 1495783 1495783 1495783 1495783 1495783 1495783 1495783 1495783) <))
(vector-set! Xn_1_FACVEC 441 (sort (list 3 7 11 13 115 97 109 67 91 117 87 73 103 2097281 2113537 4432406249473 4398314963073 4432406265985 4398317043841 4432674685057 4432674701313 4432408363009 4398046511233) <))
(vector-set! Xn_1_FACVEC 442 (sort (list 3 3 313 313 471 471 8191 8191 21309135 21309135 27788801 27788801 17567689 17567689 25950549 25950549 22364067 22364067 16826411 16826411 19390561 19390561 31902021 31902021) <))
(vector-set! Xn_1_FACVEC 443 (sort (list 3 22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894207) <))
(vector-set! Xn_1_FACVEC 444 (sort (list 3 3 3 3 7 7 7 7 137438953471 137438953471 137438953471 137438953471 82440996083 82440996083 82440996083 82440996083 111207215513 111207215513 111207215513 111207215513) <))
(vector-set! Xn_1_FACVEC 445 (sort (list 3 31 3583 3785 3961 4091 2243 2543 3121 2359 34632311413521 21021764727123 19962297324875 27838659440409 28952453545097 31580571269731 27263842575271 18808453324767) <))
(vector-set! Xn_1_FACVEC 446 (sort (list 3 3 223469513399 223469513399 193757918495 193757918495 267013508653 267013508653 193159942513 193159942513 153055864781 153055864781 254830376971 254830376971) <))
(vector-set! Xn_1_FACVEC 447 (sort (list 3 7 549659563937267415646237580240379158781767977 414089043025162177875075755977266414856860835 713623846352979940529142984724747568191373311) <))
(vector-set! Xn_1_FACVEC 448 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13) <))
(vector-set! Xn_1_FACVEC 449 (sort (list 3 30386956830597469594936727487757332227684225156017488926407948149257 48014518070781340994042089142278222408542277425130505334674968440775) <))
(vector-set! Xn_1_FACVEC 450 (sort (list 3 3 7 7 25 25 19 19 31 31 73 73 4609 4609 4105 4105 1082401 1082401 1048609 1048609 1081345 1081345 1152921504606879745 1152921504606879745 1152956688978935809 1152956688978935809) <))
(vector-set! Xn_1_FACVEC 451 (sort (list 3 2047 1705357 1452325 1563199 1214625 1477643 1428633 1715947 1255029 1348237 1455115 1705517 1736871 1876305 1789531 1876011 1662957 1507155 1134759 2067325 1090089 1765003 1560189) <))
(vector-set! Xn_1_FACVEC 452 (sort (list 3 3 3 3 282327393 282327393 282327393 282327393 325116121 325116121 325116121 325116121 341591877 341591877 341591877 341591877 467462011 467462011 467462011 467462011) <))
(vector-set! Xn_1_FACVEC 453 (sort (list 3 7 60195 39725 50391 36791 46297 39161 60913 55467 54555 40729 1427731793 1194513617 1936630347 1908271543 1186309803 1163349077 1167435377 1790105265 1993072327 1763883879) <))
(vector-set! Xn_1_FACVEC 454 (sort (list 3 3 215679573337205118357336120696157045389097155380324579848828881993727 215679573337205118357336120696157045389097155380324579848828881993727) <))
(vector-set! Xn_1_FACVEC 455 (sort (list 3 11 13 31 6689 6157 5073 4483 6891 5139 5967 6511 8007 4627 6039 6405 4235 6193 5635 8191 6265 5059 6409 7055 4473 6755 5625 7739 6347 4593 6779 5109 7891 5343 7773 7485 5981 7115 7263 5349 8037) <))
(vector-set! Xn_1_FACVEC 456 (sort (list 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 506607 506607 506607 506607 506607 506607 506607 506607 377373 377373 377373 377373 377373 377373 377373 377373 524287 524287 524287 524287 524287 524287 524287 524287) <))
(vector-set! Xn_1_FACVEC 457 (sort (list 3 115570187597606961091523 89592657004516873954281 120455076598505962270771 144209743008530052461103 127727351116849393108507 121157761370240436141235) <))
(vector-set! Xn_1_FACVEC 458 (sort (list 3 3 111785896637667320724157 111785896637667320724157 135808038651795464685671 135808038651795464685671 97227564058998130715941 97227564058998130715941) <))
(vector-set! Xn_1_FACVEC 459 (sort (list 3 7 73 499 433 471 283 415 313 262657 16781833 18879049 18911233 19173385 4731607904558101037569 4731589854975353946625 4722366482938498908673 4731589890159591555073) <))
(vector-set! Xn_1_FACVEC 460 (sort (list 3 3 3 3 31 31 31 31 2787 2787 2787 2787 3189 3189 3189 3189 34234253441925 34234253441925 34234253441925 34234253441925 22247798630559 22247798630559 22247798630559 22247798630559) <))
(vector-set! Xn_1_FACVEC 461 (sort (list 3 5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261951) <))
(vector-set! Xn_1_FACVEC 462 (sort (list 3 3 7 7 11 11 13 13 87 87 117 117 2047 2047 1193 1193 1571 1571 1257500609 1257500609 1527370379 1527370379 1555657623 1555657623 1755695213 1755695213 1961315997 1961315997 1107027881 1107027881) <))
(vector-set! Xn_1_FACVEC 463 (sort (list 3 6346997776352802482112754805111991623750992194832902352706922584348729 4208326595534459612795339873335289837614680893135895205160003808409303) <))
(vector-set! Xn_1_FACVEC 464 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 536870911 536870911 536870911 536870911 536870911 536870911 536870911 536870911 536870911 536870911 536870911 536870911 536870911 536870911 536870911 536870911) <))
(vector-set! Xn_1_FACVEC 465 (sort (list 3 7 19 25 31 47 59 55 37 41 61 1669 1077 1291 1377 1835 1703 1721191 1204161 1883217 1121419 1890379 1713937 2043337 1652909 1318473 1199877 1132455 1202645 1566489 1210015 1252605 1405769 1483667 1081161) <))
(vector-set! Xn_1_FACVEC 466 (sort (list 3 3 847541361 847541361 594585341 594585341 596346963 596346963 803419803 803419803 911946237 911946237 923942289 923942289 802767793 802767793 577704507 577704507) <))
(vector-set! Xn_1_FACVEC 467 (sort (list 3 381072821083495145432323880589986121307201921712032611188861933548019011086397170424842053596617672260721060927906081896416989218663120764927) <))
(vector-set! Xn_1_FACVEC 468 (sort (list 3 3 3 3 7 7 7 7 73 73 73 73 8191 8191 8191 8191 4351 4351 4351 4351 7927 7927 7927 7927 6031 6031 6031 6031 7741 7741 7741 7741 8161 8161 8161 8161 7663 7663 7663 7663 6685 6685 6685 6685 5899 5899 5899 5899) <))
(vector-set! Xn_1_FACVEC 469 (sort (list 3 11 13 127646893493290648095 107903684056737070653 129397488220601777013 143114664867188537019 100806912480043343367 108655706695045706973 147573952589676412927) <))
(vector-set! Xn_1_FACVEC 470 (sort (list 3 3 31 31 9205487 9205487 16215601 16215601 7826219924961700646873184529 7826219924961700646873184529 5285092786789738034074595923 5285092786789738034074595923) <))
(vector-set! Xn_1_FACVEC 471 (sort (list 3 7 4514276084920833 5395200873167401 5733225232162325 5549670408707513 5220284663786137 8239047024530519 5927814342463301 7861019991743633 4828017890047739) <))
(vector-set! Xn_1_FACVEC 472 (sort (list 3 3 3 3 3 3 3 3 576460752303423487 576460752303423487 576460752303423487 576460752303423487 576460752303423487 576460752303423487 576460752303423487 576460752303423487) <))
(vector-set! Xn_1_FACVEC 473 (sort (list 3 2047 20473 21653 26763 2143690378424822191639 1952343928757942629835 1788899224476385267587 1449910119368722271417 1577775431457131989205 1732874376941135136733) <))
(vector-set! Xn_1_FACVEC 474 (sort (list 3 3 7 7 1013993764633 1013993764633 656848807991 656848807991 328783118172568162795307 328783118172568162795307 502928816356494034173137 502928816356494034173137) <))
(vector-set! Xn_1_FACVEC 475 (sort (list 3 31 524287 1082401 106996548993 69599744739 1580386073661766792349316516401214379078175694490959873 1532495540911885506461124029095895246540991546834026529) <))
(vector-set! Xn_1_FACVEC 476 (sort (list 3 3 3 3 13 13 13 13 11 11 11 11 313 313 313 313 471 471 471 471 18225833 18225833 18225833 18225833 30127125 30127125 30127125 30127125 19574993 19574993 19574993 19574993 22043559 22043559 22043559 22043559) <))
(vector-set! Xn_1_FACVEC 477 (sort (list 3 7 73 9007199254740991 6891155929354505 5085689368796099 102762232017185191316737604326080661362537660929 91522263740640182005603118263159303945597485065) <))
(vector-set! Xn_1_FACVEC 478 (sort (list 3 3 1251783663137182697838408941985015953 1251783663137182697838408941985015953 711766918027760542374404195665946767 711766918027760542374404195665946767) <))
(vector-set! Xn_1_FACVEC 479 (sort (list 3 1760144925709128155156256834646844462635198337079177164210221186581930241 886991140758499835715391331810732668031920298326717497519827453957562623) <))
(vector-set! Xn_1_FACVEC 480 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19) <))
(vector-set! Xn_1_FACVEC 481 (sort (list 3 8191 74042988433 105793876131 123849674087 137438953471 112663174027 92455021621 102993193981 70211986241 129731863951 75425496625 82107961113 100028811869 127395648183) <))
(vector-set! Xn_1_FACVEC 482 (sort (list 3 3 29851079 29851079 30244199 30244199 23320461 23320461 19970585 19970585 26153443 26153443 21845349 21845349 27317771 27317771 17694561 17694561 25558851 25558851 23855021 23855021) <))
(vector-set! Xn_1_FACVEC 483 (sort (list 3 7 11 13 87 117 3189 2787 7538277 5451879 9658333835 14050514929 11359835949 12141093525 81552664864192518359 135529542686384398001 98033164544694258629 94435626337934700629) <))
(vector-set! Xn_1_FACVEC 484 (sort (list 3 3 3 3 2047 2047 2047 2047 1298708349570020393652962442872833 1298708349570020393652962442872833 1298708349570020393652962442872833 1298708349570020393652962442872833) <))
(vector-set! Xn_1_FACVEC 485 (sort (list 3 31 425385621947425 281651164977553 302587077273601 437460063617041 293918051210657 560988005641505 291827569252607 299069774821219 290561230016131 547674424979615) <))
(vector-set! Xn_1_FACVEC 486 (sort (list 3 3 7 7 73 73 262657 262657 18014398643699713 18014398643699713 5846006549323611672814741748716771307882079584257 5846006549323611672814741748716771307882079584257) <))
(vector-set! Xn_1_FACVEC 487 (sort (list 3 23125704944331117338568574586420615658967730989241474749369793823629321485 19506394889661118011137067513205747481569294189606490524212471406470026891) <))
(vector-set! Xn_1_FACVEC 488 (sort (list 3 3 3 3 3 3 3 3 2305843009213693951 2305843009213693951 2305843009213693951 2305843009213693951 2305843009213693951 2305843009213693951 2305843009213693951 2305843009213693951) <))
(vector-set! Xn_1_FACVEC 489 (sort (list 3 7 8359051219968405297698254735295347401171582607597 11645104826738403570115422997819315115436091678591 11692013098647223345629478661730264157247460343807) <))
(vector-set! Xn_1_FACVEC 490 (sort (list 3 3 13 13 11 11 31 31 7485 7485 6039 6039 2113537 2113537 2097281 2097281 19344003001447365321179265 19344003001447365321179265 19495109504964241521655809 19495109504964241521655809) <))
(vector-set! Xn_1_FACVEC 491 (sort (list 3 6393341031047152089869511126616404594173128996177860916959553453312761321102879990006386899074031556935325554936640763689877454191182408307282280447) <))
(vector-set! Xn_1_FACVEC 492 (sort (list 3 3 3 3 7 7 7 7 1134071 1134071 1134071 1134071 1789531 1789531 1789531 1789531 1271421 1271421 1271421 1271421 1559769 1559769 1559769 1559769 1963601 1963601 1963601 1963601 1560189 1560189 1560189 1560189) <))
(vector-set! Xn_1_FACVEC 493 (sort (list 3 313 471 536870911 83152520707567707 126017580450991193 99454234458037061 86804763489098747 121391444338318853 91677023657874701 122757856243396041 90339049051407851) <))
(vector-set! Xn_1_FACVEC 494 (sort (list 3 3 8191 8191 524287 524287 107457722799 107457722799 122306589609 122306589609 69846840165 69846840165 89549019201 89549019201 131863405587 131863405587 80426437575 80426437575) <))
(vector-set! Xn_1_FACVEC 495 (sort (list 3 7 31 25 19 73 1571 2047 1193 4105 4609 1405347 1618389 1648407 1894765 1495783 1907859 1207992329 1075872257 1171222394633748489 1315332644554149897 1297318718639968329 1297072495549222977) <))
(vector-set! Xn_1_FACVEC 496 (sort (list 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 59 59 59 59 59 59 59 59 59 59 59 59 59 59 59 59 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 55 55 55 55 55 55 55 55 55 55 55 55 55 55 55 55 47 47 47 47 47 47 47 47 47 47 47 47 47 47 47 47 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 61 61 61 61 61 61 61 61 61 61 61 61 61 61 61 61) <))
(vector-set! Xn_1_FACVEC 497 (sort (list 3 11 13 43469906355 55167946629 44074035698760598047587725620539 69934108618411082395724860442833 51955989883538420761837718338445 56370387808832477796831870160837) <))
(vector-set! Xn_1_FACVEC 498 (sort (list 3 3 7 7 9671406556917033397649407 9671406556917033397649407 9100885824685208997226255 9100885824685208997226255 7166052857255875234559421 7166052857255875234559421) <))
(vector-set! Xn_1_FACVEC 499 (sort (list 3 127548208373456315076322632239680934986439670813045 99911959369855549716100413928334753353535487319313 148981644865097055927978895594421493005536885472211) <))
(vector-set! Xn_1_FACVEC 500 (sort (list 3 3 3 3 31 31 31 31 1082401 1082401 1082401 1082401 1267650638007162390353805312001 1267650638007162390353805312001 1267650638007162390353805312001 1267650638007162390353805312001) <))
(vector-set! Xn_1_FACVEC 501 (sort (list 3 7 15313548406160741368411301 12480206471877843464369491 170455500907126566613692730881901304736049366508213 126616253985932632597365653150473920682396355871383) <))
(vector-set! Xn_1_FACVEC 502 (sort (list 3 3 1437211482007237 1437211482007237 1132733915423489 1132733915423489 1500918732178773 1500918732178773 1986479280909191 1986479280909191 1269435209255433 1269435209255433) <))
(vector-set! Xn_1_FACVEC 503 (sort (list 3 4970613883279944712885147535891069762711845770920075583678831649409948581987 5597424835929211837412846532200810633342720711869721475072624751919810882549) <))
(vector-set! Xn_1_FACVEC 504 (sort (list 3 3 3 3 3 3 3 3 7 7 7 7 7 7 7 7 11 11 11 11 11 11 11 11 13 13 13 13 13 13 13 13 117 117 117 117 117 117 117 117 115 115 115 115 115 115 115 115 109 109 109 109 109 109 109 109 97 97 97 97 97 97 97 97 87 87 87 87 87 87 87 87 73 73 73 73 73 73 73 73 91 91 91 91 91 91 91 91 67 67 67 67 67 67 67 67 103 103 103 103 103 103 103 103) <))
(vector-set! Xn_1_FACVEC 505 (sort (list 3 31 2249221321360145014553757923527 1902884359329836789068572533763 2022547453537475592913403878451 2535301200456458802993406410751 1561958846880598618027252903353) <))
(vector-set! Xn_1_FACVEC 506 (sort (list 3 3 2047 2047 2787 2787 3189 3189 1672531004630623930125176167994527 1672531004630623930125176167994527 2526744882254904392761801916888869 2526744882254904392761801916888869) <))
(vector-set! Xn_1_FACVEC 507 (sort (list 3 7 6031 8191 7741 91355004067076339167413824240109498970069278721 91355004067076318882528038278413410815726059521 91343853694477073855842754112620279384976138241) <))
(vector-set! Xn_1_FACVEC 508 (sort (list 3 3 3 3 191 191 191 191 241 241 241 241 167 167 167 167 213 213 213 213 211 211 211 211 239 239 239 239 131 131 131 131 145 145 145 145 203 203 203 203 185 185 185 185 157 157 157 157 137 137 137 137 229 229 229 229 193 193 193 193 253 253 253 253 247 247 247 247 171 171 171 171 143 143 143 143) <))
(vector-set! Xn_1_FACVEC 509 (sort (list 3 1675975991242824637446753124775730765934920727574049172215445180465220503759193372100234287270862928461253982273310756356719235351493321243304206125760511) <))
(vector-set! Xn_1_FACVEC 510 (sort (list 3 3 7 7 25 25 31 31 19 19 505 505 301 301 419 419 477 477 357 357 471 471 415 415 285 285 379 379 319 319 433 433 499 499 425 425 333 333 463 463 501 501 355 355 299 299 375 375 487 487 361 361 351 351 313 313 445 445 283 283 395 395 451 451 397 397 391 391 369 369) <))
(vector-set! Xn_1_FACVEC 511 (sort (list 3 11 13 719 827 731 895 687 875 883 953 617 701 563 973 859 613 535 539 557 601 631 799 761 661 981 623 803 587 877 841 637 967 677 995 901 721 695 985 911 647 545 971 1001 817 515 865 665 1019 757 847 607 529 929 789 675 769 787 949) <))