[optbduul] factoring binary exp(-1)

see previous post for explanatory details.

the number is exp(-1) = 1/e ~= 0.368 (decimal) ~= 0.0101111000101101010110001101100010110011101111001101111100011010101 (binary).

1 ceil matrix(0,2)
2 floor matrix(0,2)
3 ceil Mat([3, 1])
4 floor Mat([5, 1])
5 floor Mat([11, 1])
6 floor Mat([23, 1])
7 floor Mat([47, 1])
8 ceil [5, 1; 19, 1]
9 ceil [3, 3; 7, 1]
10 ceil [13, 1; 29, 1]
11 floor [3, 1; 251, 1]
12 ceil [11, 1; 137, 1]
13 floor [23, 1; 131, 1]
14 floor [3, 1; 7, 2; 41, 1]
15 ceil [5, 1; 2411, 1]
16 floor Mat([24109, 1])
17 ceil [3, 1; 16073, 1]
18 floor [11, 2; 797, 1]
19 ceil [5, 3; 1543, 1]
20 floor [3, 3; 7, 1; 13, 1; 157, 1]
21 floor Mat([771499, 1])
22 ceil [3, 1; 514333, 1]
23 ceil [769, 1; 4013, 1]
24 ceil [3, 2; 47, 1; 14591, 1]
25 floor [5, 1; 23, 1; 107339, 1]
26 floor [7, 1; 11, 1; 491, 1; 653, 1]
27 ceil [151, 1; 326993, 1]
28 floor [3, 1; 5, 1; 277, 1; 23767, 1]
29 floor Mat([197503771, 1])
30 ceil [3, 3; 7, 1; 23, 1; 89, 1; 1021, 1]
31 ceil [5, 1; 53, 1; 2981189, 1]
32 ceil [3, 1; 131, 1; 4020433, 1]
33 floor [7, 1; 2437, 1; 185243, 1]
34 ceil [5, 2; 11, 1; 22982257, 1]
35 floor [3, 3; 13103, 1; 35729, 1]
36 floor [19, 1; 41, 1; 347, 1; 93523, 1]
37 ceil [3, 1; 7, 1; 2407665019, 1]
38 ceil [1867, 1; 54162791, 1]
39 floor [3, 2; 1609, 1; 13966153, 1]
40 floor [109, 1; 3710896543, 1]
41 floor [3, 1; 5, 3; 83, 1; 25991179, 1]
42 ceil [245437, 1; 6592123, 1]
43 floor [7, 2; 11, 1; 17, 1; 1787, 1; 197621, 1]
44 floor [3, 2; 457, 1; 3583, 1; 439157, 1]
45 floor Mat([12943607142007, 1])
46 floor [3, 1; 5, 1; 7, 1; 127, 1; 787, 1; 2466707, 1]
47 ceil [13, 1; 3982648351387, 1]
48 ceil [23, 1; 4502124223307, 1]
49 floor Mat([207097714272121, 1])
50 floor [3, 1; 139, 1; 311, 1; 1847, 1; 1729187, 1]
51 ceil [7, 1; 11, 1; 499, 1; 32303, 1; 667423, 1]
52 floor [29, 1; 4721, 1; 42701, 1; 283397, 1]
53 floor [3, 1; 618329, 1; 1786300081, 1]
54 floor [5, 1; 43, 1; 3037, 1; 10789, 1; 940721, 1]
55 floor [3, 2; 487, 1; 491, 1; 6158888147, 1]
56 floor [15467, 1; 1713875181149, 1]
57 ceil [3, 1; 401, 1; 1193, 1; 2153, 1; 17157941, 1]
58 ceil [83, 1; 1277518430208751, 1]
59 ceil [3, 2; 5, 1; 7, 1; 683, 1; 37369, 1; 26377433, 1]
60 floor Mat([424136118829305329, 1])
61 floor [1301, 1; 3276827, 1; 198977717, 1]
62 ceil [743, 1; 6829, 1; 334363854277, 1]
63 floor [3, 1; 67, 1; 79, 1; 8053, 1; 26534713151, 1]
64 ceil [5, 2; 13, 1; 20880547388519647, 1]
65 floor Mat([13572355802537770549, 1])
66 ceil [3, 1; 7, 2; 41, 1; 159167, 1; 28296388511, 1]
67 floor [37, 1; 1467281708382461681, 1]
68 floor [5, 1; 31, 1; 2694203, 1; 260005904003, 1]
69 floor [11, 1; 19741608440054938981, 1]
70 ceil [103, 1; 5801, 1; 726884025153361, 1]
71 floor [3, 2; 5, 1; 19, 1; 1015942422646102123, 1]
72 ceil [6121, 1; 567323, 1; 500279187257, 1]
73 floor [389, 1; 8931935952312774449, 1]
74 floor [3, 1; 7, 1; 11, 1; 3803, 1; 76673, 1; 103167863207, 1]
75 ceil [41, 1; 3019, 1; 112281504470052893, 1]
76 floor [547, 1; 587, 1; 74869, 1; 352939, 1; 3276107, 1]
77 floor [3, 2; 45893, 1; 222163, 1; 223589, 1; 2709593, 1]
78 floor [5, 2; 7, 1; 1039, 1; 10313, 1; 59293428880703, 1]
79 floor [3, 1; 53, 1; 67, 1; 263783813, 1; 79132540159, 1]
80 ceil [47, 1; 1657, 1; 14057, 1; 20393, 1; 19920995657, 1]
81 floor [5, 1; 177895581975023066145881, 1]
82 floor [3, 2; 109, 1; 1813410621559868156431, 1]
83 ceil [29, 1; 17805986899, 1; 6890188617713, 1]
84 ceil [5, 1; 83, 1; 1489, 1; 20983367, 1; 548791255781, 1]
85 ceil [271, 1; 877, 1; 971, 1; 61669018353266777, 1]
86 floor [11, 1; 458333, 1; 5645615963622259279, 1]
87 floor [3, 1; 5, 1; 85733, 1; 44266568868469458409, 1]
88 floor [17, 1; 6697245439059691901962583, 1]
89 floor [3, 1; 331, 1; 22193, 1; 3015601, 1; 3426383672527, 1]
90 ceil [1166254219843, 1; 390491783101429, 1]
91 ceil [31, 1; 42174978089, 1; 696656292261227, 1]
92 ceil [5, 1; 364330151884847239466764517, 1]
93 ceil [17, 1; 23, 1; 29, 1; 171293, 1; 1875775002545986447, 1]
94 ceil Mat([7286603037696944789335290337, 1])
95 floor [79, 1; 9871, 1; 1996091, 1; 2340383, 1; 4000364749, 1]
96 ceil [3, 1; 7, 1; 863, 1; 38069099, 1; 42245690512129211, 1]
97 floor [2477, 1; 9323, 1; 17939, 1; 35899, 1; 1900891, 1; 2062033, 1]
98 ceil [3307, 1; 35254202782930485826841441, 1]
99 ceil [3, 2; 25907921911811359250969921197, 1]
100 floor [5, 1; 7, 2; 11, 1; 29, 1; 421, 1; 14173144705975274072959, 1]
101 ceil [41, 1; 3087181, 1; 7368670395302135595271, 1]
102 ceil [3, 1; 14652347, 1; 42436213521524751087541, 1]
103 ceil [821, 1; 4544142211085061793105564741, 1]
104 ceil [3, 1; 2487160503533890488093112434907, 1]
105 ceil [23, 1; 71567107, 1; 81105469, 1; 111779876380849, 1]
106 floor [3, 2; 991, 1; 3346330983563929348258476199, 1]
107 ceil [5576299373, 1; 10704563742369463296431, 1]
108 floor [5, 2; 41, 1; 116471906506952920418018923781, 1]
109 ceil [3, 1; 11, 1; 7235376010280408692634508901547, 1]
110 floor [7, 1; 13, 1; 715216069199, 1; 7337132894668466689, 1]
111 ceil [31, 1; 1877, 1; 586301, 1; 5157073, 1; 5428566426082853, 1]
112 ceil [3, 1; 5, 1; 25110840159653, 1; 5071220913808520959, 1]
113 floor [47, 1; 712819, 1; 114029679326492383408930813, 1]
114 floor [71, 1; 73, 1; 4273, 1; 344993507544584860586143741, 1]
115 floor [7, 1; 23, 1; 192667, 1; 492631080482416469379104197, 1]
116 floor [19, 1; 557, 1; 709, 1; 6902044171723, 1; 590136191298559, 1]
117 floor [72547, 1; 550536873521, 1; 1530414742526325157, 1]
118 ceil [7, 2; 139, 1; 5786563, 1; 9787849, 1; 316902875319994967, 1]
119 ceil [3, 1; 541, 1; 1070309, 1; 89167139, 1; 346447139, 1; 4556228471, 1]
120 floor [37, 1; 13216098710237598407648936475733829, 1]
121 ceil [19, 1; 1289, 1; 39932681579256963054429026957017, 1]
122 ceil [3, 1; 3244407391, 1; 586315601783, 1; 342749556445727, 1]
123 ceil [5, 1; 28477, 1; 2384689, 1; 11521233984071399332501609, 1]
124 ceil [3, 3; 359981, 1; 804973599579963248814281082287, 1]
125 floor [13, 1; 67, 1; 73, 1; 587, 1; 6575399, 1; 63760798676134564127003, 1]
126 floor [5, 2; 7, 1; 167, 1; 2611981, 1; 443621993, 1; 924160431198998879, 1]
127 ceil [19, 1; 83, 1; 8621551, 1; 85972759, 1; 53547229838505132007, 1]
128 floor [3, 1; 1097, 1; 10859, 1; 192149, 1; 4101247, 1; 41389519, 1; 107394691297, 1]
129 floor [17, 1; 14727398468631827307911850152723626859, 1]
130 floor [3, 2; 7, 1; 27235099, 1; 38532679, 1; 710261977, 1; 10663202978117, 1]
131 ceil [5, 1; 37, 1; 6841, 1; 791304492283777270541295772615199, 1]
132 floor [233439908759093, 1; 8580050439451305325401353, 1]
133 floor [3, 1; 8691469, 1; 153631581476344103539997026261837, 1]
134 ceil [7, 2; 79, 1; 191297, 1; 10819161569960858722224013605737, 1]
135 floor [19, 1; 89, 1; 16741, 1; 11711896995473, 1; 48328429745389171099, 1]
136 ceil [3, 2; 5, 2; 23, 1; 44172323535773, 1; 140192354542110811688801, 1]
137 floor [1453, 1; 1427629693430919241, 1; 30898239661384710113, 1]
138 ceil [3547, 1; 2569242930077, 1; 14066257424980295447952421, 1]
139 ceil [3, 1; 222527, 1; 927513961915781, 1; 414047809960991112677, 1]
140 floor [31, 1; 509680962223, 1; 551377207231, 1; 58856711880245831, 1]
141 floor [19, 2; 4153, 1; 684015233234441477144992105853093939, 1]
142 ceil [5, 2; 11, 1; 75389, 1; 98929138219370937800621305961873057, 1]
143 ceil [3, 1; 29, 1; 67, 1; 2003, 1; 93637, 1; 468438219280631, 1; 8009770654200641, 1]
144 ceil [149, 1; 1297, 1; 42266364607, 1; 1004393177632039094922033307, 1]
145 ceil [3, 2; 23, 1; 35935364807, 1; 2205781479172050369502262037257, 1]
146 ceil [5, 1; 17, 1; 43, 1; 79836250828627, 1; 112459816305410265979830701, 1]
147 ceil [3, 1; 9323, 1; 22609650510914371, 1; 103787270949779783345131, 1]
148 ceil [1597, 1; 82193970508124445263229992222172700649621, 1]
149 ceil [3, 1; 12081935513983, 1; 35088361238911, 1; 206421066919515307, 1]
150 floor [5, 1; 89069, 1; 94200483841, 1; 12515700255925089275282681441, 1]
151 ceil Mat([1050110167211797912683026380630478423499557891, 1])
152 floor [3, 1; 7, 1; 281, 1; 6563, 1; 7226831, 1; 14534428693, 1; 516286745594326743689, 1]
153 floor [1670418530516043553727, 1; 2514603730808437933977269, 1]
154 ceil [3, 1; 31, 1; 73, 1; 1237425443761140565836531307268202590660843, 1]
155 floor [757, 1; 4007, 1; 4397, 1; 1259746494338444224986785814520821851, 1]
156 ceil [7286213327, 1; 346466594620207, 1; 13311334341786874735963, 1]
157 floor [3, 2; 7, 1; 223, 1; 15493, 1; 9561373, 1; 110007307231, 1; 293556775738545343643, 1]
158 ceil [13, 1; 41, 1; 236091696653, 1; 1068161475987704259873695154664123, 1]
159 floor [20065621, 1; 240838447, 1; 55628379089401706739343148144719, 1]
160 ceil [3, 1; 18311853934999, 1; 192158108748467, 1; 50932212034971452693, 1]
161 floor [109, 1; 3181, 1; 22741, 1; 117488025371, 1; 226399452893, 1; 5127033050932439, 1]
162 ceil [164272067, 1; 34781283367, 1; 376405093110104750689326462943, 1]
163 floor [3, 1; 7, 2; 23, 1; 206923, 1; 1115542759, 1; 17230922650553, 1; 319849826796783853, 1]
164 floor [31, 1; 102101, 1; 17770307, 1; 35814467845425791, 1; 4270509420287228981, 1]
165 ceil [3, 1; 5, 1; 41, 1; 148640797927, 1; 14772157749299, 1; 12740830032705015918877, 1]
166 floor [11, 1; 727, 1; 4302864819206726772889509621170378514597163057, 1]
167 ceil [1892886041787279470481079, 1; 36357191293677630166289021, 1]
168 floor [3, 3; 7, 1; 612971881, 1; 689394134413, 1; 1723355398781553879396093301, 1]
169 ceil [5, 1; 151, 1; 16223, 1; 2507154847, 1; 547360126597, 1; 16377301734194633871061, 1]
170 floor [1063, 1; 56873, 1; 368660325718445189467, 1; 24702390138510530978993, 1]
171 floor [3, 1; 11, 1; 29, 1; 5869, 1; 9341, 1; 118051, 1; 177785233704202516293018610923529013, 1]
172 ceil [7, 2; 41, 1; 71, 1; 409, 1; 37748802474483413711253560914518385485620929, 1]
173 floor [37, 1; 89, 1; 521, 1; 1439, 1; 1784039722889366623603193397769116738008471, 1]
174 floor [3, 3; 5, 1; 19, 1; 79, 1; 1013, 1; 59809, 1; 719925103485471413, 1; 996659931854513753689, 1]
175 ceil [53, 1; 137, 1; 1921720097461, 1; 2606429937232393, 1; 484420077964564262527, 1]
176 ceil [28876037260237721660563, 1; 1220245350172637362358328923647, 1]
177 ceil [7, 1; 868271, 1; 81735085326172850986087, 1; 141857693516401116116039, 1]
178 floor [2027, 1; 41673068872857427, 1; 1668535740512760521763130014867329, 1]
179 floor [3, 1; 11, 1; 8542024290476824886997465755896122518492876915886851, 1]
180 floor [13, 1; 2311, 1; 20047, 1; 449155692874148279, 1; 2084083623097059604592812013, 1]
181 ceil [3, 1; 5, 1; 13244205079259309, 1; 2359153499390914019, 1; 2405810288958431959, 1]
182 floor [103, 1; 234058813609, 1; 588293139573835727, 1; 159004245735261905151661, 1]
183 floor [11, 1; 29, 1; 31, 1; 2624113, 1; 173804019080313357483429965833935872532902027, 1]
184 floor [43, 1; 6394657, 1; 31227321295039544707, 1; 1050519887450748599518986647, 1]
185 ceil [23, 1; 61, 1; 10463533, 1; 1228906090404953124218757760426270909498699441, 1]
186 ceil [3, 2; 7, 1; 197, 1; 383, 1; 13799, 1; 54767, 1; 11654905019, 1; 331292738807, 1; 2601308976060030581, 1]
187 floor [1447, 1; 12714266220059, 1; 2397808515659177, 1; 1635838318915654658083973, 1]
188 floor [651811, 1; 221423146298384705521553305193715488189759989277297, 1]
189 ceil [5, 1; 103, 1; 823, 1; 1089406501, 1; 5588762476907693, 1; 111856704301577422732744091, 1]
190 ceil [3, 1; 11, 2; 87488987011, 1; 31017655151316061, 1; 586051413642689226517904753, 1]
191 floor [7, 1; 19, 2; 137, 1; 375509, 1; 16086001, 1; 552128848035999863129186087338349083907, 1]
192 floor [5, 3; 1766533, 1; 10457621470259963137518956747871380504793470029411, 1]
193 ceil Mat([4618433357180685865302693805171868354318580747866375515751, 1])
194 ceil [3, 1; 11489, 1; 153749, 1; 48816112099, 1; 369872961890997343, 1; 96536849253496661071, 1]
195 floor [367, 1; 27989483, 1; 1798430800138267646773011214112302454402235794341, 1]
196 floor [19, 1; 311, 1; 1423, 1; 9504421753, 1; 451716942909402867391, 1; 1023466656255353401423, 1]
197 ceil [29, 1; 164267, 1; 15511948002839568348847345644538316544174883482560249, 1]
198 ceil [3, 2; 7, 1; 233, 1; 239, 1; 31644413, 1; 9146046700459, 1; 145552553729605213843481569161419, 1]
199 ceil [5, 2; 1678221523915894667, 1; 7045070764433291726644618281153432268963, 1]
200 ceil [3, 1; 2610953, 1; 9755080343, 1; 20569451083, 1; 590334014297, 1; 637137228089066417527, 1]
201 ceil [7, 1; 107, 1; 10126916927, 1; 133310387311, 1; 1169261341863062023358826719485111349, 1]
202 ceil [3, 1; 43, 1; 12143, 1; 641935535581, 1; 27041532729165943, 1; 86961338415689056750196093, 1]
203 floor [5, 1; 13, 1; 53, 1; 509, 1; 1279, 1; 1076405200061, 1; 1959030951660030696704966378360158639883, 1]
204 ceil [1213, 1; 16256452777, 1; 479665017317938294127716104957239618283484543271, 1]
205 ceil [3, 1; 4003, 1; 2156428768159, 1; 500021509659650473837, 1; 1460911744432514895037903, 1]
206 floor [1373, 1; 2532493, 1; 96611813, 1; 3648822283, 1; 561497412279383, 1; 54971189096245298497, 1]
207 ceil [19, 1; 12107349211012399, 1; 328936411853594004970474360776640393077391823, 1]
208 ceil [3, 1; 5, 2; 7, 1; 6703, 1; 16879, 1; 2547823741632650133153898241084473616392267752895129, 1]
209 floor [17, 1; 47737, 1; 137359, 1; 312427, 1; 4548917159767974894323, 1; 1910543194509684717689279, 1]
210 ceil [1039, 1; 7873, 1; 74002911840529382989725448085015541956818220700240667517, 1]
211 floor [3, 1; 31, 1; 44867167, 1; 46304927, 1; 3870948847, 1; 20406861780498119, 1; 79323550944901907617, 1]
212 floor [5, 1; 73, 1; 89, 1; 2244787, 1; 70816489, 1; 15290487033131, 1; 30665558534405578336187840748839, 1]
213 floor [3, 1; 401, 1; 297377, 1; 124196590180093, 1; 998814792232870579, 1; 109125677577275618689163, 1]
214 ceil [284857, 1; 622550393, 1; 24468746487278655131149, 1; 2232088762562443083312184667, 1]
215 ceil [5, 1; 7, 1; 310260624428825651542196968037, 1; 1783856352511711182325153466162707, 1]
216 floor [13, 1; 1297, 1; 43233863, 1; 15015906303848683, 1; 191983467407585863, 1; 18435793299056986007, 1]
217 floor [3, 3; 11, 1; 239, 1; 823, 1; 543287, 1; 3589367, 1; 680163328393898014859609936453028827661798019, 1]
218 floor [50344199, 1; 607765019, 1; 5064766611941271932817273005173241178883669565299, 1]
219 ceil [3, 1; 43, 1; 107, 1; 1877, 1; 11962909241472413580121344348246756407871670129912879218169, 1]
220 floor [13, 1; 47682740932323395563280122677680216925518376627935828409141822929, 1]
221 ceil [5, 1; 11, 1; 20055340296762161, 1; 1123936654454946265928970886413450018676254265261, 1]
222 ceil [3, 1; 3727, 1; 5325879364178495489, 1; 1045869083240739589493, 1; 39812115732678252222757, 1]
223 ceil [103, 1; 66188306771, 1; 434925481428943951, 1; 1672481037568583082906679852219635259, 1]
224 ceil [3, 3; 3643, 1; 7411, 1; 7417, 1; 15240445391, 1; 3365775606950399463103, 1; 35761333222662577112203, 1]
225 floor [5, 1; 34082731213, 1; 110536454769335857, 1; 1053039391187280018932631640917526108273, 1]
226 ceil [7, 3; 91303, 1; 1266792170320821211704668170618834959265363770325072718222339, 1]
227 floor [3, 1; 17, 1; 3380659280184253, 1; 489112341154532785639, 1; 940880210580695789663157190933, 1]
228 ceil [59, 1; 349, 1; 17860235128872689743, 1; 431499124453305654420297883522389473440080971, 1]
229 ceil [5, 1; 43120751, 1; 974987754273021479, 1; 1509798688414631456746049734585909574140841, 1]
230 floor [7, 1; 233, 1; 29569, 1; 44953577, 1; 292785569456733175603013366124948717930156252340938463, 1]
231 ceil [3, 2; 189859, 1; 696903621410221564393813481, 1; 1066075828720960290664038624874235489, 1]
232 floor [127, 1; 251, 1; 607, 1; 22531, 1; 86100305886221196703115789, 1; 67641497953786498250109337482857, 1]
233 ceil [5, 1; 23, 1; 104658929, 1; 421910546194396294978086468041614563693429019728800412097369, 1]
234 ceil [3, 1; 38068043528461, 1; 135203573325120301, 1; 657740405461243422816167364834421590863, 1]
235 ceil [3967, 1; 8999, 1; 2792324828221151439341856123739, 1; 203766182397543746891948074364611, 1]
236 ceil [3, 1; 71, 1; 28781119015379, 1; 7293731242759724873854091, 1; 908547127123894593140202408509, 1]
237 ceil [5, 2; 64427308063, 1; 16623127485458969, 1; 3034532271218509656473158616742344896679599, 1]
238 floor [3, 2; 547, 1; 168527, 1; 1299817, 1; 3534821131561, 1; 653768118612709, 1; 65203628909875666314261608393, 1]
239 floor [11, 1; 263, 1; 347, 1; 839, 1; 258108510275432521, 1; 1494969348309517764097553427230790618849482851, 1]
240 floor [3, 1; 43, 1; 77447, 1; 6451099, 1; 340622879, 1; 29607561875069775575315870281484033990163072883213, 1]
241 floor [277, 1; 16433, 1; 2113113853482011, 1; 135149658160449513004109187755676157870984858677049, 1]
242 floor [3, 1; 17, 1; 50979349868711778724714214346613783910400050571230408606217713690574949, 1]
243 ceil [65293785626347956757981728139151, 1; 79638416378024984339681228968156990266449, 1]
244 floor [7, 1; 53, 1; 509, 1; 4447, 1; 12384133890163324451248968863379055650213420936388441621128051109, 1]
245 floor [3, 1; 5, 1; 31, 1; 251, 1; 421, 1; 82787, 1; 67563193940065289796329, 1; 75678648649929150873608488139602424231, 1]
246 ceil [2927, 1; 24077623, 1; 1247405282231, 1; 150862503393559, 1; 3136600663873259677896838335358750399, 1]
247 floor [223, 1; 6007983286447, 1; 62098465449889069290766142576463296780891844442905852791101, 1]
248 ceil [3, 1; 69371, 1; 108293, 1; 175837, 1; 6247545286703967609641021, 1; 6720864964322416152790499883131191, 1]
249 floor [5, 3; 7, 1; 59, 1; 619, 1; 10414147506302064691232344326503179192154542165689160674880260201671, 1]
250 floor [13, 1; 10218277, 1; 226690417, 1; 22102950391167747151558278224503611713982564958367979006203, 1]
251 floor [19, 1; 293, 1; 1857617179511, 1; 2541920270164657, 1; 26165232822417453949, 1; 1935398774629214427460283, 1]
252 ceil [7, 1; 37, 1; 101, 1; 409, 1; 1439, 1; 172925557947515208887214679339981542682159492903912155899157012023, 1]
253 floor [3, 2; 31, 1; 79, 1; 1193, 1; 12853, 1; 7568924272602443, 1; 734016875493309047, 1; 2835815490270992767144627093277, 1]
254 floor [4253, 1; 4493, 1; 1307669445960700146893385430557919, 1; 426181544528687250045521036771316877, 1]
255 ceil [3, 1; 5, 1; 71, 1; 1009, 1; 14107, 1; 35051, 1; 165049, 1; 28501351, 1; 8521189337114193347687666518580671230277345013081, 1]
256 floor Mat([42597529080697662913911602080600932014987715856510989744817822076425378192109, 1])
257 floor [13, 1; 17, 1; 8317, 1; 6343236827959, 1; 11129573164835537, 1; 8866699577500817653, 1; 74046408654721101088433, 1]
258 ceil [7001, 1; 24337968336350614434458849924639869741458486419946287527391985188644695439, 1]
259 floor [3, 3; 11, 2; 29, 1; 1143283, 1; 3146107201820003646683740356900233841092657886464224525766447935033, 1]
260 floor [5, 1; 37, 1; 2951233, 1; 141934549, 1; 71398943731, 1; 702504103051, 1; 175347827600597184694124266176383938199, 1]
261 ceil [3, 1; 47, 1; 103, 1; 271, 1; 2579, 1; 134294249348865198781413409076320972272811982789976673129262697620473, 1]
262 ceil [7, 1; 13, 1; 23, 1; 59, 1; 22077156795165891360955748646889629264288660464799560631227097693613288883, 1]
263 ceil [3, 2; 113, 1; 193, 1; 182473, 1; 918193, 1; 19220161, 1; 21923279776234423, 1; 393478474120033315220600046970976973983, 1]
264 floor [31, 1; 17285629, 1; 20350612834284707024474138328796299974401922972875540557276094553355419, 1]
265 ceil [19, 1; 2897, 1; 11933, 1; 149561, 1; 222015999058529369728041892504146562569236285014084055851751484157, 1]
266 floor [3, 1; 5, 2; 1013, 1; 7356277, 1; 78046886355675180713067865552466678522085684461044565440349259245671, 1]
267 floor [7, 1; 45389, 1; 67134083, 1; 196093159, 1; 11027054902348567086962062789, 1; 1891475258326902637432732463689, 1]
268 ceil [3, 2; 241597, 1; 81869323411, 1; 980142245132195715244521554228794946527411222778128088042745001, 1]
269 ceil [5, 1; 17, 1; 41, 1; 199, 1; 1063, 1; 250919, 1; 28894740961, 1; 237112654577, 1; 275345600846961706962529447721540047431544423, 1]
270 floor [3, 1; 47, 1; 8971, 1; 5153780192582782266518100544249, 1; 107057842261469706493195341996118975864018831, 1]
271 ceil [739, 1; 1913, 1; 24259591, 1; 40699723606843780626503937900364909274304832963081572930750369021887, 1]
272 ceil [23, 1; 673, 1; 17191, 1; 36097, 1; 5671802237, 1; 51242240343498657649783976338185255965264442379799003646697, 1]
273 ceil [53, 1; 8773689686124833986554013, 1; 12007046563779939132654398030022730485551432616703235657, 1]
274 ceil [5, 1; 11, 1; 4139, 1; 555349, 1; 7814381, 1; 804137651, 1; 1179274401184851548989813249, 1; 11919563996586535325657387831, 1]
275 ceil [13, 1; 37, 1; 61, 1; 77261389, 1; 135190963350959556077, 1; 72873434798614395531972615844315890941820583288493, 1]
276 ceil [23689, 1; 162859, 1; 11577794309389630519564506248596640129230534734306058863195269222806968427, 1]
277 ceil [439, 1; 381289, 1; 621387817, 1; 206555598307, 1; 4158108487189119958569553006281510315991229809369283197, 1]
278 ceil [5, 1; 17, 1; 33835799, 1; 80592339427, 1; 84892602861098444022058194751, 1; 9079989335381701871282973295823111, 1]
279 ceil [12043, 1; 3830963, 1; 26163749, 1; 247232357, 1; 286054582557444287, 1; 4185790342270766234775410327698322656711, 1]
280 ceil [79, 1; 229, 1; 509, 1; 1082357197473184856976856241, 1; 71705643661334083404870778895209201528984789026223, 1]
281 floor [17293, 1; 45755523729271, 1; 1969861731467814088503493, 1; 917032408553144371380145515755118634576327, 1]
282 ceil [3, 2; 11, 1; 974707, 1; 7212153961, 1; 286855582337, 1; 14319462637517631843609100077912127609862661265699068067, 1]
283 floor [7, 1; 577, 1; 43133, 1; 358392227, 1; 1839149128357, 1; 49789211086995591847326589977910785845986703351886378881, 1]
284 floor [29, 1; 127, 1; 1021, 1; 70514103073170186019, 1; 12549129616114860348946781, 1; 3436427885815942719055674417141371, 1]
285 floor [5, 1; 13, 1; 351836527484625782844004604559897228906714656625875633881892175569603484460659108439, 1]
286 floor [7, 1; 47, 1; 743, 1; 465446829713, 1; 3269661952309, 1; 122949462964158432178636830179627473627639512251768535229, 1]
287 floor [853, 1; 26171, 1; 115834997, 1; 685001901827, 1; 51643225106715500528744719175694693030521426389426595457319, 1]
288 floor [17, 1; 4657, 1; 48733, 1; 37664827, 1; 8128808077145752543950854180371, 1; 154882773071768614436958168232695729643, 1]
289 ceil [5, 2; 7, 1; 107, 1; 17911, 1; 256667773, 1; 367979503, 1; 1109791285073, 1; 19700321193938160253, 1; 528351587630223171121765252547, 1]
290 floor [3, 1; 12637, 1; 106224328599801598278589930673, 1; 181725145674101227832076126608334139000793615254524283, 1]
291 ceil [31, 1; 223, 1; 157649, 1; 43066129, 1; 59700559, 1; 3913945991633, 1; 133458861608351587445597506769608076080031146286629, 1]
292 ceil [11, 1; 13, 1; 786810170591, 1; 12261001214767, 1; 2121936161122715044127168580231651215294331545477272892067307, 1]
293 ceil [7, 1; 181, 1; 203365369, 1; 19750842471557, 1; 446864975612903, 1; 2574415797020724685774322613183295764477424024921, 1]
294 floor [5, 1; 17, 1; 727, 1; 524933, 1; 611252278019, 1; 590536220849464083292028933181669455215220139128076520123665155989, 1]
295 floor [3, 1; 1464662469503, 1; 4274369128692337, 1; 1063852495580863836328463, 1; 1172038801576868499382169414205864449, 1]
296 floor [113, 1; 3989, 1; 37979437, 1; 42191494559, 1; 64843779831324341600918853625505489413710322668108336307262535353, 1]
297 ceil [3, 5; 139, 1; 1249, 1; 18413, 1; 3847451, 1; 118378527433, 1; 175072568299, 1; 1512314204435910051239431645018120516727685609739, 1]
298 ceil [7789, 1; 38149, 1; 1738973, 1; 17241023, 1; 1923736375648124731, 1; 10931454124451047642512999783609558199945686043757, 1]
299 floor [3, 1; 5, 1; 7, 1; 2459, 1; 109701999370539380595598379009677927861, 1; 13228538053162853996325320446773412994795143511, 1]
300 ceil [17, 1; 193, 1; 2309, 1; 3727, 1; 9997643, 1; 2654709698914953898362858716195772144379661673650398382959820923794062939, 1]
301 floor [107, 1; 199, 1; 14639, 1; 118298038577, 1; 40645119442857286287139427353743383402055951177318076556768813210580839, 1]
302 ceil [3, 1; 4513, 1; 547823, 1; 5222447, 1; 43123621, 1; 386875172989231, 1; 776272187249837, 1; 5975348090352087876676801335995830711, 1]
303 floor [5, 2; 13, 1; 97871, 1; 411157, 1; 1640716980730669, 1; 279392958262079053564682046604690720185185750721986363536469839, 1]
304 ?
305 ceil [11, 1; 2125751, 1; 13683737477, 1; 8348306546385300111604087012841, 1; 8977305342419201220788894442087270350945039, 1]
306 floor [3, 1; 5, 1; 71, 1; 58637672127978127, 1; 767994062955129586895911675061680942636390028171567645211762238298780491, 1]
307 ceil [7, 1; 26267, 1; 602444179, 1; 865942111744504898602095657066637818048721589953612047081049374640765198958861, 1]
308 ceil [311, 1; 419, 1; 9583520521, 1; 395243945338967549837, 1; 388668610463259321487923880492476180836179673319834880397, 1]
309 ceil [353, 1; 15442759, 1; 70384102807059613438872339697312151292848589944979412485140159400851812673628539183, 1]
310 ceil [7, 2; 23, 2; 77141, 1; 6138564320083337, 1; 62517319180783007251973291800499659987590616707704322468475237063333, 1]
311 floor [43, 1; 113, 1; 17317, 1; 41479376023, 1; 34235512303592309, 1; 12844155886619281408670146884130713351069087966909673229341, 1]
312 ceil [3, 1; 67, 1; 281, 1; 122273, 1; 243623, 1; 521137, 1; 1751388902393912449, 1; 100663119378063061582467119, 1; 19856744461300721867282648891, 1]
313 ceil [5, 1; 563, 1; 719, 1; 28837, 1; 91099, 1; 884267, 1; 38977399, 1; 51892367, 1; 668268783186183190697173, 1; 965989167183212631308275607017453, 1]
314 ceil [3, 1; 7, 1; 73, 1; 97, 1; 82567715281423575839579800242416930310571838391957990420028923261723957752470880750428189, 1]
315 ceil [11, 1; 295040817023, 1; 636709337867, 1; 3693854206262807830043, 1; 3217054332529530340208392156260126437643381525989, 1]
316 floor [3, 2; 47, 1; 37247597, 1; 91890599, 1; 24196479044959817, 1; 708577419311812067761723621, 1; 1978494994106971444227020449184041, 1]
317 ceil [17, 1; 11923, 1; 98400593, 1; 25178897868589, 1; 5770721894977082537817116736590369, 1; 33893397203436206747818293327370229, 1]
318 floor [157, 1; 2153, 1; 3184283, 1; 182510896652681877447977875575963090552892388096726751209987908692094779232285887091, 1]
319 ceil [3, 1; 7, 3; 19, 1; 59, 1; 3752407, 1; 14387557, 1; 23074699, 1; 96593065463941, 1; 169190801644489, 1; 65135711507405455079, 1; 256849219104077328493, 1]
320 floor [11, 1; 2809297, 1; 20108256697, 1; 223744502521, 1; 5651802744178597278029400111139784020193801110142981893527847435807, 1]
321 floor [43, 1; 67, 1; 179, 1; 16921, 1; 180099211535954148902189714229118725049729087914627826545380466951505358006017800929233, 1]
322 ceil [5, 1; 1427, 1; 2966032649769169487863, 1; 23019648113475588083304973, 1; 6452017497462336113190569892875910728261876411, 1]
323 floor [3, 2; 572023, 1; 1221063126830805206797577138688089203970531795953415064375955572490792715167841597763326947, 1]
324 floor [11, 1; 1009843, 1; 156640040602938646455697, 1; 7225614403704778061426040363840611344870162996015460364980379370139, 1]
325 floor [3, 1; 13, 1; 3413, 1; 5323, 1; 5345276391821, 1; 6639365553828489916654474706794178968575567593464185999834351049888020709699, 1]
326 ceil [569, 1; 26513, 1; 213666862872568387747411, 1; 15601839027373052933265165770219035893832102984444808039098319920717, 1]
327 ceil [7, 1; 14368653113125118128621106762134838072012616195771298533315988822825386266916773230848786587049211, 1]
328 ceil [23, 1; 6653, 1; 14080127, 1; 93366733363484264066004698345784766142755011672318754067476359897590787344923890612581, 1]
329 ceil [5, 1; 37, 1; 437033, 1; 148671073, 1; 33157894361, 1; 4940022824129204891, 1; 204336408983112117459703681679402989730787869301940507, 1]
330 ceil [7, 1; 11, 1; 48661297, 1; 1342291453, 1; 274701276017081, 1; 4289242660067424852983, 1; 135781800554049048761871399207538291143610919, 1]
331 floor [89, 1; 61432363, 1; 1422115207, 1; 206972228100732279592727774400155030780407283989825117446003370454989148090055533, 1]
332 ceil [3, 3; 5, 1; 21270071, 1; 1151506345235573, 1; 8339887660621193046323, 1; 116717192982971035565699464017334760200845772301151629, 1]
333 ceil [17, 1; 19, 1; 19929277382910380562298005663889806366135145683298890844970783258903322128726669992013177681108503, 1]
334 floor [3, 1; 7, 1; 2243, 1; 101681, 1; 2688039788238058437492620304798874058621043146354492253263137912387738256284786274525851559, 1]
335 ceil [5, 3; 433, 1; 272539, 1; 383627, 1; 275746915930418523989814207768968599, 1; 16500901380572946161383316878316991169144788866737, 1]
336 ceil [130657, 1; 1698227623063591969223876429443031713, 1; 232089492166668680263954690961200556228219912008881858807589, 1]
337 ceil [11, 1; 4481, 1; 8060998440803910587, 1; 259213484794237641006630408194447791343290691313607001369821606661922799791041, 1]
338 ?
339 ceil [3, 1; 151, 1; 541, 1; 7829, 1; 10631, 1; 4304497, 1; 6300315210787373, 1; 744755093681016385377544617035730026438398229930969400997117900501, 1]
340 floor [524545933, 1; 748305103078969, 1; 40413087351840990285253, 1; 51942133395091380416149917422466405795113808432517105133, 1]
341 ?
342 ceil [5, 1; 13, 1; 50704987330402878398009153610329855655476397731095959575044434649606089236312335024602634956784612183, 1]
343 floor [3, 1; 139, 1; 4721, 1; 3348297013117254144191288766576849717960991531304069091139683807005888583293384044654981819779677, 1]
344 floor [7, 1; 1397931331317431, 1; 440776234717771559740964336903056547667361, 1; 3056482947489101253463024006827540690345446267, 1]
345 ceil [3, 1; 8788864470603165588988253292457174980282575606723299659674368672598388800960804737597790059175999445053, 1]
346 floor [10691, 1; 208147, 1; 57009946507069, 1; 251129480352121144809293, 1; 1655187511800804383395846952791509855784963443447810432413, 1]
347 floor [5, 1; 677, 1; 19559, 1; 1032878668777, 1; 177142893854392736686841, 1; 8706340541995878733436768120799035716138898851166983579607477, 1]
348 ceil [7, 1; 2521, 1; 607665375929297669, 1; 880655340212759811072396997400099, 1; 22335858983596567690406891529323176218066821479703, 1]
349 ceil [3, 1; 41, 1; 366683, 1; 11630129281, 1; 2203833417558694694501, 1; 574197823213053101781062159, 1; 635555189537147707928111422027423341631, 1]
350 floor [11, 1; 13, 2; 17, 1; 491, 1; 5167, 1; 284293, 1; 21024282982823339980339160819473721, 1; 1760631127570258369187895035928774111314460683160351347, 1]
351 floor [37, 1; 317, 1; 17310971983, 1; 116826845983, 1; 27189436643813, 1; 4154669306071311824123, 1; 629755883488632721790134601685408922781347477, 1]
352 ceil [719, 1; 18217, 1; 257666668985969530376568224403297749013611369668670384020165300540225139287734417571075526644256449, 1]
353 ?
354 ceil [11, 1; 23, 1; 122251, 1; 127984395869989, 1; 354934766527248551269, 1; 534541484847057353072372377927, 1; 17974799792822480116622095239299467, 1]
355 ceil [1429, 1; 450914689, 1; 100763733269, 1; 5722053621349577, 1; 12417301631627347313149960783, 1; 5852534240376311803991616893964045182587, 1]
356 ?
357 floor [3, 1; 7, 1; 31, 1; 89, 1; 1863987411152620838424682104587821090417720172171005820226076429501527495921682607839307620897058651009, 1]
358 floor [19, 1; 16573, 1; 823148982303803, 1; 833318049976947290051504701554466917237694783065727017853086476603945670844897252635923, 1]
359 ceil [3, 1; 33791803253416481798153705513851, 1; 363931013094497080067819840606227, 1; 11709066496770873042050411014806181311151397, 1]
360 floor [14423, 1; 59902969764832114682098124638543307859786335189858368560259941620405741710438254796145958120865107775531, 1]
361 floor [13, 1; 23, 1; 38543, 1; 33807773, 1; 52684081, 1; 101860653447707131, 1; 5325745043046854065898023, 1; 155179535397932144466989158050943039001482519, 1]
362 ceil [5, 1; 2389, 1; 962852216129333821, 1; 300481791602781791075498717551105416094618074693518686066293547635231556448789892614539, 1]
363 ceil [3, 1; 11, 1; 2239, 1; 4327, 1; 17291, 1; 110778791, 1; 121438943, 1; 42974544293344354363, 1; 14686259279031968375714597, 1; 147258995537276255307433406049865457, 1]
364 floor [89, 1; 63932375093267524251259, 1; 2429478691663404127120545411843751747904245172723760320373336635991328731117485660467, 1]
365 ceil [5, 1; 10133, 1; 545689865851802129318402053748637602612737511066544399325533058634473194632760887508023703291652982972219, 1]
366 ceil [3, 1; 7, 1; 71, 1; 7294409, 1; 23549249, 1; 557898053, 1; 1127302601, 1; 343276252468189650933631630119543517935785462714121507087601640992411423883, 1]
367 ?
368 ceil [3, 2; 1539331, 1; 1633561, 1; 201466571, 1; 7508010163, 1; 61349914132496186296592654027837, 1; 105315485766588166730710434210288973202662224967, 1]
369 floor [5, 1; 7, 1; 910988011, 1; 992760972107, 1; 970320523269211417219283, 1; 808674607419836781470569555123, 1; 17809818475681511362108337266122379, 1]
370 floor [6163, 1; 7681, 1; 48353, 1; 77477, 1; 5033007523, 1; 1645854293910299800727, 1; 602252755953697960759446802913980683602442437834028652559292697, 1]
371 ?
372 ?
373 ceil Mat([7077728525665678049770711053612729378911832575535736829908001898423189607953620573592069357381529185865593762331, 1])
374 ?
375 ?
376 ceil [3, 2; 113, 1; 263, 1; 293, 1; 326737, 1; 11404237651, 1; 193898741320225467989527931446447541284936141972924494868260527193121727304034559340250963, 1]
377 ?
378 floor [3, 1; 7, 1; 11, 1; 13, 1; 14118397, 1; 5341991062430391718154110512626656085554747203439247703160927036810220181700228679513728026831715232359, 1]
379 ?
380 floor [3, 2; 2659, 1; 35267, 1; 24198079, 1; 1240252033, 1; 6941895749889191472167, 1; 688919168172590734546249, 1; 7478892866380063906475068515687853458290167, 1]
381 floor [7, 1; 113621, 1; 980701930823145847, 1; 118672857925665644101, 1; 13698873586596958000437647634679, 1; 1428906885870932435093950752504628159169, 1]
382 ceil [3, 1; 223, 1; 24709, 1; 47381, 1; 106019, 1; 14215319, 1; 99911196953, 1; 206487845408210269, 1; 156651613940337334228987, 1; 949936358260669635305757292938607320481, 1]
383 floor [31, 1; 42533, 1; 147708273919, 1; 191079560391215652594687093145481, 1; 194754315977282344445161463042051160735478622338525021770096784721, 1]
384 ?
385 ceil [3, 1; 13, 1; 1884133, 1; 186118376501, 1; 2119768479402048726132438247663385865814683704874742441230184813011826688448380297517952026921227, 1]
386 floor [16603, 1; 1013823262191037, 1; 26103418220201703496937, 1; 131958582906826173104417519004617559206211789614854119385859271679770485071, 1]
387 ceil [5, 1; 17, 1; 228696994301, 1; 33264207418417, 1; 2979992440495218198733874909749, 1; 60178604854904417678938988969215706440118697861818349389719, 1]
388 floor [3, 1; 47, 1; 2837, 1; 463649, 1; 286370396943275310901, 1; 511355501439843188097523879319517349037, 1; 8539353763929631131464122496328818308751849509, 1]