formal_lp/glpk/feasible.hl

   1 let feasible_ids = [
   2 "161847242261";
   3 "21943083135";
   4 "125666511797";
   5 "79927135476";
   6 "241602698874";
   7 "92991475035";
   8 "223930428697";
   9 "247295606871";
  10 "234511714565";
  11 "222443277122";
  12 "74389574015";
  13 "77163246273";
  14 "62728797023";
  15 "29383777015";
  16 "17829919176";
  17 "111586841555";
  18 "105156525934";
  19 "108947910402";
  20 "146445562730";
  21 "251818921426";
  22 "152319053093";
  23 "92865666145";
  24 "180896555538";
  25 "145411049077";
  26 "39599353438";
  27 "53589559927";
  28 "90297313372";
  29 "142655941184";
  30 "85480334995";
  31 "120808430889";
  32 "65974205892";
  33 "151513077997";
  34 "212518403727";
  35 "67080561369";
  36 "10477128631";
  37 "249851725458";
  38 "100872450991";
  39 "44420845129";
  40 "232587358497";
  41 "167303348603";
  42 "245046698600";
  43 "214859643337";
  44 "36621172094";
  45 "51378360149";
  46 "57874684911";
  47 "62672478742";
  48 "238019115164";
  49 "94647732523";
  50 "233072019024";
  51 "197221015797";
  52 "178295012702";
  53 "213347386471";
  54 "86369567240";
  55 "181537581203";
  56 "88089363170";
  57 "199733572812";
  58 "154005963125";
  59 "46026013883";
  60 "229367313231";
  61 "68285849590";
  62 "201558987883";
  63 "234875406416";
  64 "95653008789";
  65 "235206442572";
  66 "69982909226";
  67 "14335870163";
  68 "100536039457";
  69 "34082929980";
  70 "82871836190";
  71 "148654087307";
  72 "50803004532";
  73 "11791965047";
  74 "161675749680";
  75 "159869415516";
  76 "32794566830";
  77 "215182233720";
  78 "249744728362";
  79 "114241299799";
  80 "218943750503";
  81 "138200609784";
  82 "57080496645";
  83 "167828282169";
  84 "84689232090";
  85 "10356760764";
  86 "199640295300";
  87 "247130363001";
  88 "220796296707";
  89 "32345090522";
  90 "213523389128";
  91 "119559217589";
  92 "203083441532";
  93 "151900278591";
  94 "153414258587";
  95 "206180970700";
  96 "155697230122";
  97 "163902294554";
  98 "155838748228";
  99 "45659588418";
 100 "223336279535";
 101 "189718207466";
 102 "39102870782";
 103 "73142613316";
 104 "2457515115";
 105 "143863701704";
 106 "129674608883";
 107 "34469525277";
 108 "205120383991";
 109 "99094226829";
 110 "208444469082";
 111 "107159450824";
 112 "21241242399";
 113 "93267179362";
 114 "189365423706";
 115 "34552395227";
 116 "177867469382";
 117 "247802476816";
 118 "87864610237";
 119 "31118340219";
 120 "15293900842";
 121 "43458636485";
 122 "125634241970";
 123 "165331052876";
 124 "66514811350";
 125 "51222125776";
 126 "29635262505";
 127 "128654189196";
 128 "215237018681";
 129 "10327436083";
 130 "204869251998";
 131 "159707215674";
 132 "242652038506";
 133 "33133237057";
 134 "113586916220";
 135 "89689083992";
 136 "229186714352";
 137 "150834109178";
 138 "176438347451";
 139 "113535394513";
 140 "65887846355";
 141 "125288625342";
 142 "182459094914";
 143 "221642761094";
 144 "85185357759";
 145 "61113718086";
 146 "43203292310";
 147 "187762845014";
 148 "164769867395";
 149 "152735971380";
 150 "12055501106";
 151 "86506100695";
 152 "240612114340";
 153 "67870640924";
 154 "213340346296";
 155 "20942233668";
 156 "208474118447";
 157 "131926538004";
 158 "212497062222";
 159 "16606835581";
 160 "44311028148";
 161 "205031032033";
 162 "162594631030";
 163 "63780392795";
 164 "85838002161";
 165 "20525292626";
 166 "225385567504";
 167 "157797184794";
 168 "211931583471";
 169 "150534658862";
 170 "157114107233";
 171 "30389300048";
 172 "248989633715";
 173 "227049081516";
 174 "103049949196";
 175 "17584252653";
 176 "201829675557";
 177 "64553506434";
 178 "143898391447";
 179 "2757485004";
 180 "24522692989";
 181 "206983657748";
 182 "91185198256";
 183 "107096839627";
 184 "108156489459";
 185 "81829394513";
 186 "26407840449";
 187 "59408556784";
 188 "179189825656";
 189 "11799365755";
 190 "75583744203";
 191 "48166165766";
 192 "102273823769";
 193 "74135224952";
 194 "169975399370";
 195 "162326456513";
 196 "245621749109";
 197 "16986736888";
 198 "171328238335";
 199 "158495418174";
 200 "47656451975";
 201 "118374966151";
 202 "194475628294";
 203 "141508359990";
 204 "59534542075";
 205 "126416502686";
 206 "99420618891";
 207 "43294392725";
 208 "5877308286";
 209 "77253061528";
 210 "135058926737";
 211 "105582821738";
 212 "109941103541";
 213 "71594162946";
 214 "58211170094";
 215 "71524073242";
 216 "76214963351";
 217 "185374424990";
 218 "175918863322";
 219 "100414090850";
 220 "142637803518";
 221 "163349701747";
 222 "113712638052";
 223 "23873735141";
 224 "32035687009";
 225 "15608692641";
 226 "164470574315";
 227 "62586200165";
 228 "120890775388";
 229 "98304487583";
 230 "93707188364";
 231 "170730591020";
 232 "189690818984";
 233 "133668458800";
 234 "235921453124";
 235 "131728773107";
 236 "82072133889";
 237 "43345982389";
 238 "53434030211";
 239 "36949233439";
 240 "229539714292";
 241 "158968829505";
 242 "182115367206";
 243 "145414627149";
 244 "74262159663";
 245 "121444100512";
 246 "158802651414";
 247 "30633095151";
 248 "232135951716";
 249 "28186909322";
 250 "240922261950";
 251 "220280950581";
 252 "25843054493";
 253 "222331490807";
 254 "133663871154";
 255 "111261201750";
 256 "205814967193";
 257 "40124106623";
 258 "47926490793";
 259 "217305234403";
 260 "247152672618";
 261 "217482711620";
 262 "77454901584";
 263 "29390367462";
 264 "46122798260";
 265 "87297599446";
 266 "193481247960";
 267 "204182643999";
 268 "149861801684";
 269 "243834939443";
 270 "9290908173";
 271 "186286977681";
 272 "77177675465";
 273 "45199786119";
 274 "183222769731";
 275 "175709173491";
 276 "131061498271";
 277 "181446331627";
 278 "194852290699";
 279 "215863975889";
 280 "187425312349";
 281 "111714420987";
 282 "43229898957";
 283 "151854702353";
 284 "12455295246";
 285 "70856127867";
 286 "155151082767";
 287 "78273763440";
 288 "38251440127";
 289 "184451503950";
 290 "11078540113";
 291 "204675168024";
 292 "95136066519";
 293 "153662214806";
 294 "26494148998";
 295 "204094963109";
 296 "225248006752";
 297 "142282162558";
 298 "44952706223";
 299 "149036738197";
 300 "197948745319";
 301 "68126966034";
 302 "153129252928";
 303 "42914567770";
 304 "233312933979";
 305 "117491489162";
 306 "228609753490";
 307 "224222535931";
 308 "43362603887";
 309 "116921636014";
 310 "50329387098";
 311 "169780381606";
 312 "14777252572";
 313 "157383450592";
 314 "129049243019";
 315 "226586736615";
 316 "213323591175";
 317 "167319765423";
 318 "200518010919";
 319 "220582972141";
 320 "184497806055";
 321 "96213649901";
 322 "63037087515";
 323 "33029157920";
 324 "3334037814";
 325 "66478346114";
 326 "99747768328";
 327 "150404678030";
 328 "71361914409";
 329 "225201709398";
 330 "248886505843";
 331 "27794260922";
 332 "245967563371";
 333 "19940774062";
 334 "47321147294";
 335 "154341430216";
 336 "23052108091";
 337 "218756368829";
 338 "46519712146";
 339 "205697921664";
 340 "93406012484";
 341 "226556732647";
 342 "224599395263";
 343 "62238031819";
 344 "195512614336";
 345 "191026754154";
 346 "230775057853";
 347 "57290919651";
 348 "87168897512";
 349 "128782498396";
 350 "250379175175";
 351 "41053160057";
 352 "239569210813";
 353 "46867563516";
 354 "13396135145";
 355 "22579094342";
 356 "24966962583";
 357 "138654057097";
 358 "163183959839";
 359 "174247163045";
 360 "26415177157";
 361 "145974217847";
 362 "179848114045";
 363 "103206272348";
 364 "227441642446";
 365 "230073298386";
 366 "238539288825";
 367 "211486284142";
 368 "212351474126";
 369 "113860448491";
 370 "126700205719";
 371 "195966920830";
 372 "52701588192";
 373 "28006928060";
 374 "147297845306";
 375 "34970074286";
 376 "105615380550";
 377 "83055791901";
 378 "216661698775";
 379 "100126458338";
 380 "180552190171";
 381 "118191535532";
 382 "186270808093";
 383 "95386456814";
 384 "250904883332";
 385 "128394227052";
 386 "19111335170";
 387 "139176081955";
 388 "18909647056";
 389 "96407516938";
 390 "144158557955";
 391 "155449324866";
 392 "224680018300";
 393 "60661713932";
 394 "182169930819";
 395 "121582585038";
 396 "182613472538";
 397 "190313802481";
 398 "194949625104";
 399 "135129025736";
 400 "127770925589";
 401 "75641658977";
 402 "199200608215";
 403 "207249637395";
 404 "170782427215";
 405 "34372176123";
 406 "136128967410";
 407 "116080884798";
 408 "210113251810";
 409 "98261023404";
 410 "104351773923";
 411 "15806819252";
 412 "202154465934";
 413 "169371400957";
 414 "109537739131";
 415 "70023342545";
 416 "93657835054";
 417 "120074519419";
 418 "8332565827";
 419 "251696495407";
 420 "240902736110";
 421 "224962478003";
 422 "24362730064";
 423 "135218534957";
 424 "144731567951";
 425 "209433473083";
 426 "34010128493";
 427 "120279245231";
 428 "142041399641";
 429 "103699420180";
 430 "245450642887";
 431 "50386106164";
 432 "33461137352";
 433 "103572230249";
 434 "207710175290";
 435 "131863321179";
 436 "227748973039";
 437 "135113768992";
 438 "153393823657";
 439 "96944212495";
 440 "118841024802";
 441 "150397346479";
 442 "211566906925";
 443 "80894294056";
 444 "99616756837";
 445 "119368198530";
 446 "201843411127";
 447 "9883991306";
 448 "67978455430";
 449 "26351628975";
 450 "177139074557";
 451 "119822794938";
 452 "225780368738";
 453 "108021470283";
 454 "167623491354";
 455 "231915053919";
 456 "164118962304";
 457 "161169406084";
 458 "211202410018";
 459 "10294641528";
 460 "103773894310";
 461 "223795397921";
 462 "21830948200";
 463 "115126142634";
 464 "159155890289";
 465 "169726202209";
 466 "149438122187";
 467 "238138683456";
 468 "75330736899";
 469 "124346922881";
 470 "12052651595";
 471 "218088675456";
 472 "195199855441";
 473 "131235168653";
 474 "125251448736";
 475 "178064838768";
 476 "62059307362";
 477 "206134563629";
 478 "149435261210";
 479 ];;