Statistics

Problem Statement for "ConsecutiveFloors"

Problem Statement

A newly opened hotel has one or more buildings. Each building has one or more floors. Different buildings may have a different number of floors.

All the buildings are currently empty. Before any guests move in, the hotel was approached by president Smith. President Smith is planning to rent several consecutive floors of a single hotel building as his office.

The president's interns have already researched some possibilities. You are given the results of their research in int[]s x and y. The meaning of these results is as follows: for each valid i, if the president wants to rent exactly x[i] consecutive floors in any single building, there are exactly y[i] distinct ways to do so.

You do not know how the hotel looks like. All you have are the interns' notes. Return "Consistent" if there exists a hotel consistent with the research notes. Otherwise, return "Inconsistent".

Definition

Class:
ConsecutiveFloors
Method:
isConsistent
Parameters:
int[], int[]
Returns:
String
Method signature:
String isConsistent(int[] x, int[] y)
(be sure your method is public)

Constraints

  • x and y will contain between 2 and 50 elements, inclusive.
  • x and y will contain the same number of elements.
  • Each element of x and y will be between 1 and 10^9, inclusive.
  • For each valid i, x[i] will be strictly less than x[i+1].
  • For each valid i, y[i] will be strictly greater than y[i+1].

Examples

  1. {1, 2}

    {3, 1}

    Returns: "Consistent"

    The research is consistent with a hotel that has two buildings: a building with one floor and a building with two floors. We can easily verify that there are indeed three distinct ways to rent a single floor, and only one way to rent two consecutive floors.

  2. {1, 3}

    {2, 1}

    Returns: "Inconsistent"

    According to the research, there are two ways to rent a single floor and there is one way to rent three consecutive floors. This is inconsistent: if there is a way to rent three consecutive floors, there are clearly at least three different ways to rent a single floor.

  3. {1, 2, 3}

    {6, 3, 1}

    Returns: "Consistent"

    This can happen if the hotel has three buildings with 1, 2, and 3 floors, respectively.

  4. {1, 2, 3}

    {6, 4, 1}

    Returns: "Inconsistent"

  5. {1, 2, 3}

    {30, 20, 10}

    Returns: "Consistent"

    This can happen if the hotel has 10 buildings, each with 3 floors.

  6. {477381380, 518025930, 570087601, 737384427}

    {933387341, 532515987, 318113054, 112496297}

    Returns: "Consistent"

  7. {308943472, 309514623, 420739506, 433180054, 824938090}

    {825002165, 692190478, 565185585, 520367469, 109640379}

    Returns: "Inconsistent"

  8. {120488476, 120910581, 191235701, 273389056, 325781420, 732516446}

    {984130593, 891325429, 628742451, 440622881, 368262567, 198194666}

    Returns: "Inconsistent"

  9. {1, 2}

    {2, 1}

    Returns: "Consistent"

  10. {1, 2}

    {1000000000, 1}

    Returns: "Consistent"

  11. {1, 1000000000}

    {2, 1}

    Returns: "Inconsistent"

  12. {1, 1000000000}

    {1000000000, 1}

    Returns: "Consistent"

  13. {1, 1000000000}

    {999999999, 1}

    Returns: "Inconsistent"

  14. {1, 999999999}

    {1000000000, 1}

    Returns: "Consistent"

  15. {1, 2, 3}

    {3, 2, 1}

    Returns: "Consistent"

  16. {1, 2, 3}

    {4, 3, 1}

    Returns: "Inconsistent"

  17. {1, 2, 3}

    {4, 2, 1}

    Returns: "Consistent"

  18. {1, 2, 3}

    {5, 3, 1}

    Returns: "Consistent"

  19. {1, 3, 5}

    {5, 3, 1}

    Returns: "Consistent"

  20. {1, 3, 5}

    {6, 4, 1}

    Returns: "Inconsistent"

  21. {1, 3, 5}

    {6, 3, 1}

    Returns: "Consistent"

  22. {1, 3, 5}

    {7, 4, 1}

    Returns: "Inconsistent"

  23. {1, 250000000, 499999999}

    {999999997, 499999999, 1}

    Returns: "Consistent"

  24. {1, 250000000, 499999999}

    {999999996, 499999998, 1}

    Returns: "Consistent"

  25. {1, 250000000, 499999999}

    {999999998, 500000000, 1}

    Returns: "Inconsistent"

  26. {1, 250000000, 499999999}

    {999999996, 499999999, 1}

    Returns: "Inconsistent"

  27. {1, 250000000, 499999999}

    {999999995, 499999998, 1}

    Returns: "Inconsistent"

  28. {1, 250000000, 499999999}

    {999999997, 500000000, 1}

    Returns: "Inconsistent"

  29. {1, 250000000, 499999999}

    {999999998, 499999999, 1}

    Returns: "Consistent"

  30. {1, 250000000, 499999999}

    {999999997, 499999998, 1}

    Returns: "Consistent"

  31. {1, 250000000, 499999999}

    {999999999, 500000000, 1}

    Returns: "Inconsistent"

  32. {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50}

    {50, 49, 48, 47, 46, 45, 44, 43, 42, 41, 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1}

    Returns: "Consistent"

  33. {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50}

    {999999988, 979591825, 959183662, 938775499, 918367336, 897959173, 877551010, 857142847, 836734684, 816326521, 795918358, 775510195, 755102032, 734693869, 714285706, 693877543, 673469380, 653061217, 632653054, 612244891, 591836728, 571428565, 551020402, 530612239, 510204076, 489795913, 469387750, 448979587, 428571424, 408163261, 387755098, 367346935, 346938772, 326530609, 306122446, 285714283, 265306120, 244897957, 224489794, 204081631, 183673468, 163265305, 142857142, 122448979, 102040816, 81632653, 61224490, 40816327, 20408164, 1}

    Returns: "Consistent"

  34. {1, 20408164, 40816327, 61224490, 81632653, 102040816, 122448979, 142857142, 163265305, 183673468, 204081631, 224489794, 244897957, 265306120, 285714283, 306122446, 326530609, 346938772, 367346935, 387755098, 408163261, 428571424, 448979587, 469387750, 489795913, 510204076, 530612239, 551020402, 571428565, 591836728, 612244891, 632653054, 653061217, 673469380, 693877543, 714285706, 734693869, 755102032, 775510195, 795918358, 816326521, 836734684, 857142847, 877551010, 897959173, 918367336, 938775499, 959183662, 979591825, 999999988}

    {50, 49, 48, 47, 46, 45, 44, 43, 42, 41, 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1}

    Returns: "Inconsistent"

  35. {1, 20408164, 40816327, 61224490, 81632653, 102040816, 122448979, 142857142, 163265305, 183673468, 204081631, 224489794, 244897957, 265306120, 285714283, 306122446, 326530609, 346938772, 367346935, 387755098, 408163261, 428571424, 448979587, 469387750, 489795913, 510204076, 530612239, 551020402, 571428565, 591836728, 612244891, 632653054, 653061217, 673469380, 693877543, 714285706, 734693869, 755102032, 775510195, 795918358, 816326521, 836734684, 857142847, 877551010, 897959173, 918367336, 938775499, 959183662, 979591825, 999999988}

    {999999988, 979591825, 959183662, 938775499, 918367336, 897959173, 877551010, 857142847, 836734684, 816326521, 795918358, 775510195, 755102032, 734693869, 714285706, 693877543, 673469380, 653061217, 632653054, 612244891, 591836728, 571428565, 551020402, 530612239, 510204076, 489795913, 469387750, 448979587, 428571424, 408163261, 387755098, 367346935, 346938772, 326530609, 306122446, 285714283, 265306120, 244897957, 224489794, 204081631, 183673468, 163265305, 142857142, 122448979, 102040816, 81632653, 61224490, 40816327, 20408164, 1}

    Returns: "Consistent"

  36. {533597639, 533603806, 533605143, 533606243, 533611768, 533613110, 533619602, 533619659, 533619948, 533621720, 533624614, 533631052, 533633012, 533641779, 533647076, 533655481, 533657898, 533662911, 533665854, 533675130, 533684698, 533685458, 533685771, 533687289, 533692924, 533693768, 533703671, 533710328, 533719640, 533728337, 533730875, 533734896, 533743493, 533745085, 533750759, 533759221, 533762412, 533763985, 533771256, 533773217, 533781075, 533785910, 533788252, 533790781, 533795614, 533800291, 533802676, 533805189, 533807398, 533816615}

    {995582331, 934024470, 921571055, 911444386, 861036045, 849066600, 791894025, 791401553, 788946364, 774030761, 750158829, 698997677, 683810131, 623955354, 590090714, 539137633, 524989244, 495987601, 479473782, 428132728, 375653833, 371649078, 370053544, 362561372, 334766316, 330669049, 284117500, 253996436, 215386354, 182526156, 173491569, 159819047, 131476883, 126315438, 109546076, 86407786, 78122671, 74250418, 57096208, 52639921, 36651443, 27114148, 22921467, 19416942, 12975405, 8013067, 5738277, 3967312, 2955986, 2499184}

    Returns: "Consistent"

  37. {435331472, 435336321, 435338634, 435342971, 435349603, 435354479, 435355739, 435358638, 435368581, 435378511, 435380732, 435383184, 435386161, 435386224, 435389163, 435397675, 435398233, 435402543, 435402811, 435406757, 435412437, 435420347, 435425480, 435428445, 435429452, 435437361, 435443503, 435445332, 435446047, 435453201, 435455619, 435457855, 435460502, 435467341, 435476435, 435477938, 435480693, 435486912, 435494709, 435496552, 435505395, 435505445, 435512694, 435516537, 435524925, 435534646, 435536517}

    {933692323, 885256254, 862498366, 820484985, 757682230, 712168375, 700481046, 675240253, 594698235, 516914095, 501261910, 484718787, 465291415, 464885244, 447025246, 395595072, 392288577, 367298248, 365756916, 344014089, 313019141, 270359230, 244134295, 231488896, 227335757, 197385285, 175030148, 168383627, 165819212, 143614106, 136545784, 130162785, 122816361, 104035673, 79827532, 75880907, 69751931, 56222737, 41651426, 38700775, 27955613, 27900509, 20282545, 17397371, 13788572, 11233132, 11135564}

    Returns: "Consistent"

  38. {634653452, 634662455, 634671753, 634676654, 634686646, 634686672, 634690292, 634697262, 634705142, 634711557, 634713568, 634714584, 634715017, 634724595, 634725870, 634728191, 634730065, 634730358, 634730981, 634738190, 634744757, 634750341, 634751592, 634754032, 634760454, 634768145, 634771358, 634772642, 634779976, 634782695, 634788861, 634796278, 634802246, 634812007, 634819702, 634823125, 634829207, 634832271, 634840245, 634849622, 634857435, 634860086, 634866290, 634875943, 634882084, 634882471, 634882567}

    {980702596, 893537905, 805929500, 760290689, 668388943, 668161937, 637049062, 581427516, 521879407, 476575361, 462919686, 456263052, 453506600, 392579497, 384545183, 370269004, 359681524, 358067812, 354693852, 317433927, 283795824, 256863298, 251094283, 240534450, 216457465, 189667734, 180375308, 176866227, 157723524, 150787775, 135839339, 118274226, 105108573, 83932108, 67818959, 60949744, 51939295, 47915419, 38210342, 27502797, 20842458, 18656884, 14802362, 9295507, 6874717, 6811014, 6808976}

    Returns: "Consistent"

  39. {622075006, 622079168, 622081910, 622085584, 622090664, 622093597, 622099530, 622107827, 622113484, 622117519, 622119325, 622124317, 622129334, 622132407, 622136083, 622137746, 622140476, 622141599, 622143318, 622150662, 622160402, 622163828, 622164128, 622165300, 622165838, 622174446, 622183615, 622186993, 622188067, 622188161, 622196698, 622204559, 622213613, 622223252, 622231543, 622240486, 622249131, 622251725, 622252750, 622259540, 622269540, 622278401, 622285742, 622290475, 622299320, 622306506, 622313031, 622322840, 622324819}

    {932949674, 892197593, 865557258, 830433185, 782455698, 756773756, 706175591, 636466023, 592251327, 566212170, 554750769, 523380960, 492161452, 473597879, 452348817, 442778599, 427269178, 421014185, 411489987, 371021080, 320273069, 302804684, 301365010, 295889955, 293463021, 255201443, 214985737, 201112598, 197670207, 197388615, 172181123, 149595386, 126868175, 105935475, 89288863, 72712692, 58094573, 54078809, 52689406, 44469422, 33031945, 23844931, 17433993, 13437433, 6484397, 1440851, 833519, 316936, 281448}

    Returns: "Consistent"

  40. {294992450, 294998372, 295005195, 295011141, 295018311, 295022463, 295024103, 295025023, 295033499, 295038877, 295046854, 295053968, 295054056, 295057860, 295059440, 295065572, 295075008, 295077145, 295077363, 295080372, 295084420, 295085379, 295086401, 295087292, 295088578, 295093875, 295096723, 295102312, 295110144, 295114959, 295117863, 295121435, 295127357, 295129713, 295138045, 295140872, 295142830, 295151097, 295154213, 295156496, 295158126, 295164517, 295165696, 295173363, 295176448, 295184353, 295191860}

    {993678190, 934477273, 867764955, 810053568, 741432821, 703689174, 689007487, 681149865, 612091301, 569416918, 508109812, 454622637, 453967443, 425784926, 414239631, 369876755, 303472753, 290071048, 288726290, 270322701, 246882056, 241503002, 235953944, 231439885, 225763560, 202879772, 191075097, 168384021, 139667561, 123335023, 114269040, 103628365, 86879853, 80321934, 57666557, 50628041, 45906657, 28775542, 23834672, 20892883, 18803820, 14062392, 13264135, 9515663, 8591992, 6506515, 6298345}

    Returns: "Consistent"

  41. {760788009, 760791141, 760797570, 760801135, 760801271, 760809620, 760811206, 760812730, 760819027, 760819707, 760822976, 760825958, 760828592, 760838306, 760844699, 760851644, 760853024, 760861532, 760868229, 760874264, 760875747, 760879551, 760880533, 760886827, 760894876, 760903316, 760903879, 760904122, 760904943, 760907207, 760917043, 760924779, 760932638, 760936641, 760938733, 760942848, 760943002, 760944013, 760952955, 760960930, 760962389, 760963279, 760965600, 760970759, 760971121, 760972622}

    {994413469, 963116534, 899011751, 864430305, 863129268, 785683392, 772130310, 759976789, 710297981, 704993467, 679770911, 657189088, 637970671, 568534689, 523141479, 476495489, 467657513, 413367208, 371127865, 333902883, 324850608, 304571234, 299621718, 269877518, 234903804, 198834757, 196485248, 195547244, 192655639, 185350814, 154537718, 132584401, 111718332, 101338809, 96177588, 86888013, 86563366, 84478934, 67410354, 52725275, 51002058, 50046980, 47951554, 44000984, 43741188, 43190180}

    Returns: "Consistent"

  42. {950939522, 950943744, 950947730, 950950113, 950952475, 950954932, 950955507, 950955848, 950956396, 950960038, 950963511, 950963618, 950972325, 950975130, 950977440, 950984629, 950994396, 951003618, 951010779, 951014500, 951016823, 951022201, 951032165, 951032767, 951032870, 951033707, 951038516, 951039000, 951042789, 951044715, 951046218, 951047554, 951052515, 951053757, 951063196, 951072602, 951076413, 951084649, 951087066, 951087081, 951088560, 951090804, 951091766, 951101445, 951109656, 951113794, 951114366, 951116565, 951121299, 951123234}

    {947271810, 905070847, 865781851, 842614269, 819714925, 796792043, 791634880, 788620246, 783797483, 751855811, 721509047, 720582313, 646976283, 623409985, 604682923, 551103137, 479206994, 413181759, 362136599, 336206905, 321444822, 287439375, 231274885, 227922890, 227352006, 222850015, 197274141, 194802673, 177742845, 169152508, 162902064, 157451322, 137486032, 132548226, 103917130, 79655236, 70468445, 55791624, 51870072, 51848345, 49850728, 47524138, 46681927, 38656091, 32522746, 29774117, 29435052, 28716728, 28454798, 28378573}

    Returns: "Consistent"

  43. {312862427, 312868066, 312873532, 312873867, 312874635, 312875836, 312882067, 312885483, 312889869, 312897644, 312907152, 312908232, 312911905, 312914801, 312921471, 312923822, 312932191, 312934246, 312940860, 312949935, 312953531, 312955616, 312959550, 312965737, 312971659, 312978118, 312982362, 312991788, 312997559, 313005250, 313007124, 313014732, 313023082, 313023496, 313026099, 313030133, 313033914, 313035834, 313044504, 313045163, 313046985, 313054902, 313056765, 313056840, 313059089, 313061927, 313068036}

    {995610831, 939221707, 886689481, 883640997, 876735366, 866152617, 812019198, 783043634, 746405715, 683092532, 610461002, 602910942, 578127451, 559575110, 517600204, 503022312, 452450381, 440849432, 404443617, 355103524, 336625984, 326607062, 309083871, 282638787, 257716941, 231304720, 215731006, 181940016, 161932443, 135650535, 129452837, 104691676, 79447179, 78278360, 71391870, 61568209, 52505311, 48278754, 30881243, 30064634, 27921781, 18794332, 16687794, 16614486, 15222957, 14548893, 14221897}

    Returns: "Consistent"

  44. {347944306, 347948386, 347952539, 347959835, 347968747, 347969766, 347971374, 347973095, 347975773, 347978291, 347986671, 347989036, 347998280, 348006125, 348010191, 348018625, 348024318, 348027227, 348036818, 348042623, 348043577, 348043666, 348049506, 348056480, 348057955, 348058817, 348059499, 348062194, 348064690, 348066156, 348068034, 348069712, 348070978, 348079666, 348088474, 348091295, 348091616, 348092700, 348100108, 348109169, 348118194, 348127503, 348127685, 348136195, 348136744, 348139674, 348139848}

    {992072642, 951619555, 911580703, 841970184, 757415777, 748119674, 733731732, 718550580, 695494765, 674874624, 609425903, 591346133, 521582149, 466868990, 439119000, 382384489, 344569107, 325386043, 266332940, 235427392, 230570278, 230139585, 202096700, 169883636, 163455183, 159719115, 156789381, 145221509, 135065319, 129769111, 123021041, 117601013, 113645046, 89898341, 67482822, 60954215, 60222722, 57976522, 44466844, 28869806, 14704914, 5667415, 5591530, 2178443, 2089579, 1846923, 1840397}

    Returns: "Consistent"

  45. {659517737, 659524188, 659529012, 659532082, 659537354, 659543871, 659552285, 659557014, 659566446, 659568290, 659572650, 659573120, 659579042, 659583109, 659586313, 659595556, 659596394, 659605554, 659614126, 659622086, 659624896, 659627033, 659627823, 659632676, 659636533, 659637155, 659642200, 659649852, 659657706, 659659579, 659667124, 659669501, 659671226, 659680487, 659685699, 659694843, 659695682, 659697240, 659706384, 659713767, 659714660, 659721067, 659727395, 659734146, 659743002, 659751058, 659757468}

    {957017479, 892721872, 845091530, 815379571, 770848364, 719727186, 656217809, 624061630, 561735043, 549835389, 521927590, 518980241, 482896713, 458130166, 438759697, 384495362, 379915589, 332802201, 292008217, 255284978, 242577293, 232935079, 229401545, 207872971, 191712141, 189110945, 168124072, 138432493, 111598949, 105641551, 85339026, 79517311, 75376210, 58947530, 52166443, 41331392, 40378108, 38643410, 28687611, 21068282, 20258294, 14745918, 11157539, 7608042, 4018038, 991390, 694136}

    Returns: "Consistent"

  46. {539038171, 539045846, 539048747, 539051439, 539052572, 539062084, 539069391, 539078184, 539079992, 539083112, 539084724, 539091483, 539100577, 539101061, 539101525, 539103581, 539106646, 539116165, 539123838, 539129402, 539130119, 539135932, 539142246, 539146539, 539147682, 539149571, 539151964, 539158018, 539161629, 539164567, 539169008, 539175166, 539181938, 539185400, 539194194, 539200850, 539202686, 539204538, 539211664, 539212781, 539217900, 539219217, 539223082, 539224733, 539225598, 539231572}

    {975019981, 900525512, 872703949, 847148316, 836580829, 749080260, 683850259, 610964508, 596497346, 572204239, 560141846, 510026815, 446737669, 443563339, 440546894, 427448713, 410223066, 357548253, 316622390, 288628181, 285161865, 257230172, 227778258, 208304668, 203545217, 195921984, 186424347, 163270605, 150116714, 139601860, 123815033, 102865635, 81849403, 72590217, 50177081, 33716893, 29299033, 26021655, 14818323, 13263790, 7576654, 6343278, 3899488, 3369644, 3203913, 2803125}

    Returns: "Consistent"

  47. {436947854, 436949143, 436957555, 436961954, 436963378, 436967623, 436971318, 436976745, 436983131, 436989015, 436990730, 436992917, 437000796, 437005151, 437012609, 437016170, 437024888, 437033906, 437035225, 437039029, 437039969, 437049688, 437054495, 437060879, 437066297, 437074109, 437078670, 437083066, 437092622, 437101238, 437109998, 437115464, 437117873, 437122648, 437129565, 437137192, 437139632, 437149027, 437152129, 437156065, 437163718, 437173036, 437179726, 437184366, 437190115, 437196046, 437204715}

    {990183347, 977868641, 897838953, 856342630, 843655572, 807014907, 775457886, 729349528, 676137272, 631318616, 619965746, 605583328, 557182058, 530681459, 487874556, 468007379, 420953119, 378401934, 372189824, 354306077, 350111107, 308642873, 288850553, 263327618, 241949503, 211988045, 196185357, 182311408, 153247658, 130002302, 107504613, 94216702, 88774706, 78826902, 65605464, 52988345, 49318162, 36635653, 32721496, 28597997, 22533175, 17236668, 14876139, 13867436, 13089914, 12674762, 12493637}

    Returns: "Consistent"

  48. {764679189, 764681074, 764689434, 764693585, 764697612, 764702031, 764711898, 764719800, 764722625, 764728940, 764729270, 764733383, 764734262, 764735368, 764744176, 764744777, 764751437, 764753633, 764759773, 764760995, 764765342, 764768151, 764776634, 764779974, 764785533, 764788003, 764791339, 764797894, 764800896, 764806862, 764816173, 764820980, 764826667, 764827821, 764831581, 764840889, 764841409, 764842328, 764845317, 764848448, 764851128, 764858562, 764863890, 764871496, 764880794, 764882993}

    {993646814, 974938649, 894548434, 854943645, 817230229, 776067436, 688820003, 619226580, 595236428, 542806538, 540483137, 512991684, 507166873, 499855502, 447087416, 443533398, 406074399, 394798618, 364481341, 358523139, 339096693, 329539251, 302610425, 292262251, 277531197, 271351732, 263120257, 247169317, 240683739, 229073907, 212720003, 204960354, 197365612, 195875985, 191086779, 180088886, 179649228, 178944903, 176946566, 174912843, 173239674, 169066248, 166378804, 164202699, 163236550, 163151287}

    Returns: "Consistent"

  49. {861016232, 861020978, 861023857, 861030224, 861031111, 861034297, 861041936, 861049297, 861051179, 861058024, 861061372, 861062274, 861065330, 861070288, 861075114, 861082299, 861085438, 861089990, 861093348, 861102383, 861107712, 861111086, 861115734, 861118626, 861128411, 861130973, 861132777, 861138898, 861145881, 861154421, 861161012, 861170141, 861174546, 861183288, 861186441, 861192072, 861193642, 861194886, 861195363, 861201140, 861206539, 861206725, 861214348, 861220027, 861221113, 861222604, 861223808, 861226504}

    {978094196, 932778893, 905331496, 845376479, 837289923, 808668349, 741956845, 678648837, 662680210, 606132511, 578811712, 571553520, 547655890, 508983285, 475922143, 427017642, 406592644, 377970837, 356947291, 302640223, 271686999, 255097496, 234551622, 223325536, 185792545, 176587871, 170811503, 152602261, 133742145, 111098821, 94372404, 72526102, 63039040, 44312314, 37754932, 27589531, 24949245, 22890151, 22327547, 16037652, 10739483, 10606131, 6049012, 3274760, 2794319, 2323279, 2124557, 2082517}

    Returns: "Consistent"

  50. {380579845, 380585619, 380588127, 380588423, 380598090, 380602829, 380605538, 380613047, 380616969, 380626100, 380634697, 380643539, 380651057, 380654873, 380659429, 380663746, 380664193, 380665950, 380670760, 380671281, 380679135, 380684303, 380686276, 380694781, 380701577, 380711240, 380712233, 380715569, 380718662, 380719553, 380721431, 380726426, 380728601, 380728928, 380736634, 380745657, 380754133, 380761744, 380767235, 380767547, 380768978, 380774388, 380775579, 380780712, 380789849, 380792713}

    {979857966, 922198621, 900182817, 897609654, 814454737, 776373567, 755162137, 700591051, 673776788, 615998324, 564914968, 512896183, 469722125, 447860613, 422082389, 398380258, 396014785, 387306105, 363823880, 361387564, 326447007, 303648614, 294974517, 257622176, 228649345, 188106994, 184238010, 171473036, 159692954, 156334685, 149396122, 132466523, 125246134, 124320348, 102731873, 78956269, 57808879, 42526644, 32209398, 31638855, 29043638, 19289858, 17672431, 11170778, 7443006, 7307129}

    Returns: "Consistent"

  51. {505649057, 505649785, 505658830, 505659311, 505669025, 505676019, 505683836, 505684249, 505684776, 505691055, 505695909, 505700544, 505705030, 505711693, 505711850, 505714568, 505722096, 505724720, 505732799, 505739657, 505746608, 505746879, 505747799, 505751180, 505755679, 505762882, 505766097, 505767405, 505774069, 505781009, 505783896, 505788191, 505794031, 505802831, 505811113, 505816651, 505821207, 505827846, 505837370, 505843230, 505847563, 505849495, 505852125, 505853551, 505855668, 505863762, 505864734}

    {979316039, 972048064, 884611654, 880136933, 793567003, 732008596, 663899131, 660385191, 656140308, 607281837, 569748105, 534632278, 501175721, 453227529, 452167392, 434011456, 384670400, 367537172, 325243953, 293878285, 263923054, 262839793, 259193185, 245839865, 228772228, 202017880, 192182457, 188510503, 170085549, 151158783, 143585115, 132948369, 121575222, 106705039, 93965495, 85771548, 79208623, 70606575, 58901754, 52820027, 49261726, 48284436, 47315999, 46978381, 46644162, 45480504, 45393415}

    Returns: "Consistent"

  52. {438168344, 438177450, 438178286, 438184320, 438190250, 438190622, 438192943, 438199993, 438202489, 438203467, 438211457, 438212776, 438216226, 438219275, 438223628, 438224187, 438232174, 438233133, 438240442, 438242853, 438245507, 438245724, 438252759, 438256344, 438263405, 438268327, 438271677, 438274846, 438284541, 438292556, 438300975, 438304770, 438310162, 438318407, 438324302, 438331831, 438340169, 438345389, 438347894, 438354049, 438361887, 438364362, 438369936, 438378777, 438380814, 438384928, 438392155, 438399830}

    {936027896, 845337160, 837296222, 780604274, 727064150, 723749896, 703448016, 642844274, 623102785, 615470889, 557261991, 547977257, 523882301, 503102745, 474096226, 470790625, 425263184, 420168913, 381700906, 369747205, 356795433, 355794602, 325139684, 310565798, 282603913, 264425381, 253317697, 243055304, 212519451, 187785321, 162532853, 152031006, 137953861, 118872146, 107586110, 94431092, 80060705, 72189103, 68690675, 60983250, 52513655, 49927818, 46559576, 42086851, 41120090, 39383982, 36334188, 35993336}

    Returns: "Consistent"

  53. {384054658, 384059012, 384063785, 384066357, 384070963, 384078667, 384080922, 384089137, 384090268, 384097643, 384100784, 384102416, 384108090, 384115204, 384116772, 384119863, 384120890, 384129268, 384129599, 384137652, 384146155, 384152123, 384152876, 384158225, 384167863, 384171191, 384176305, 384184624, 384190370, 384192613, 384197284, 384203888, 384208201, 384210157, 384215563, 384219490, 384219805, 384220540, 384224518, 384225221, 384231473, 384238698, 384243524, 384247487, 384255840, 384261328, 384265634, 384273803, 384279433, 384288415}

    {995713245, 953401250, 909922010, 887181011, 847147505, 780361008, 761457226, 696539425, 687992593, 633217769, 610301779, 598512967, 557899660, 507129518, 496686417, 476554486, 469957343, 420575824, 418657561, 374436124, 329213164, 299245924, 295640670, 270219368, 226447689, 211670994, 189213924, 154623803, 131385386, 123546261, 107716242, 85335286, 72745138, 67110357, 51865772, 41888737, 41114997, 39834240, 34144428, 33446512, 28271235, 22618434, 19761693, 17496253, 12995014, 10101860, 8106244, 5554347, 4361182, 4257867}

    Returns: "Consistent"

  54. {123883496, 123884232, 123886546, 123892300, 123896588, 123897461, 123899088, 123899599, 123909066, 123910205, 123917122, 123922697, 123927218, 123932597, 123933792, 123937395, 123939452, 123948465, 123953438, 123954783, 123962125, 123969162, 123973436, 123975881, 123976046, 123977292, 123978647, 123987150, 123988652, 123992442, 123999680, 124001978, 124004954, 124008904, 124010812, 124013365, 124019398, 124027743, 124034033, 124036060, 124043698, 124047117, 124055727, 124058789, 124066647, 124075484, 124079198}

    {996112253, 988805349, 966467407, 911258041, 870204204, 862038260, 846974237, 842496362, 760717311, 751220979, 695150002, 651420723, 616639792, 575809879, 566879577, 540510987, 526532664, 466705944, 434514527, 426043828, 380938149, 339093129, 315629392, 302662460, 301853047, 295808783, 289672696, 252157212, 245861549, 230422241, 201462780, 192568020, 181473287, 167018893, 161759495, 155441848, 140948324, 123739751, 111386984, 107678812, 98524764, 95152581, 90606721, 89513587, 86708281, 84264024, 83713345}

    Returns: "Consistent"

  55. {280115650, 280118947, 280120493, 280125602, 280130968, 280131509, 280135150, 280138232, 280145803, 280153634, 280156119, 280159331, 280163071, 280165552, 280167310, 280169743, 280174287, 280174702, 280182131, 280185261, 280189342, 280198671, 280199540, 280208387, 280211784, 280218796, 280219276, 280228431, 280231373, 280234778, 280235133, 280239786, 280243327, 280248280, 280249289, 280253384, 280260424, 280264927, 280267667, 280270439, 280272032, 280273117, 280282443, 280284284, 280292078, 280295081, 280304579, 280309043}

    {988267548, 955366181, 940280614, 890850359, 840700041, 836015522, 804488103, 779512655, 719075012, 657064136, 638152147, 614861520, 588009560, 570382168, 557978939, 541026639, 509986083, 507234222, 458690412, 438372068, 412811513, 354930235, 349749482, 306020228, 290282600, 259509474, 257407019, 217641759, 205322881, 191178589, 189726265, 170889661, 157308546, 139271331, 135995876, 122955925, 102342639, 89358494, 81849842, 74362053, 70140424, 67423510, 48559066, 46407302, 38999803, 37059804, 33514681, 33505744}

    Returns: "Consistent"

  56. {287656379, 287657910, 287659843, 287669843, 287674595, 287675457, 287679061, 287679791, 287689208, 287698898, 287701648, 287703745, 287709139, 287713319, 287715568, 287718902, 287727918, 287731253, 287736990, 287746447, 287746498, 287748938, 287750827, 287755990, 287764237, 287768585, 287774965, 287778047, 287779651, 287788591, 287794138, 287803089, 287809298, 287818105, 287824827, 287833348, 287833684, 287836835, 287838711, 287844826, 287846449, 287847858, 287851422, 287852255, 287858200, 287863545}

    {977277645, 962468450, 944159376, 850862175, 808201557, 800516870, 769566982, 764001230, 693293164, 628560870, 611196281, 598111607, 565463249, 540329298, 527301334, 509041396, 460737717, 443472081, 415258829, 369326553, 369080649, 358386632, 350260790, 328639425, 295468837, 280012867, 259489715, 250055713, 245145869, 218959572, 203635437, 180691754, 166302871, 147676834, 133785679, 118694766, 118153370, 113336817, 110805208, 103263432, 101424792, 99945227, 96687413, 96091373, 93245529, 93193693}

    Returns: "Consistent"

  57. {692056836, 692057768, 692063480, 692069394, 692076366, 692080258, 692084322, 692086055, 692088286, 692089540, 692095325, 692098013, 692100834, 692101176, 692106637, 692110404, 692114939, 692119054, 692126163, 692127074, 692134447, 692142841, 692143448, 692145433, 692147631, 692152947, 692160342, 692161113, 692164290, 692171886, 692172714, 692176774, 692179483, 692179676, 692186820, 692195524, 692196524, 692199202, 692203514, 692211335, 692216288, 692222068, 692225619, 692225977, 692232027, 692240985, 692247054, 692250366}

    {984916330, 975629124, 921028479, 867324377, 806374503, 772611347, 737590316, 723105071, 704562622, 694278841, 647816814, 626544669, 604772191, 602132635, 560539483, 532800015, 500304564, 471487719, 422260857, 415965118, 366557875, 311335244, 307370623, 295165430, 282367366, 254712682, 219406087, 215885391, 202003940, 171704564, 168409825, 152371064, 141768875, 141061171, 117222264, 89612588, 86915867, 81175491, 72157909, 56415909, 47101820, 39770178, 35812448, 35461875, 30368276, 24363261, 22640562, 22331779}

    Returns: "Consistent"

  58. {136652076, 136660925, 136669302, 136674351, 136679019, 136681748, 136683285, 136688953, 136697906, 136699117, 136705414, 136710979, 136714248, 136717861, 136719247, 136720228, 136722935, 136729966, 136733315, 136741124, 136744791, 136745733, 136746951, 136749421, 136751587, 136754571, 136762779, 136769736, 136770896, 136779735, 136784431, 136791752, 136801590, 136804636, 136813633, 136820531, 136825907, 136833905, 136842395, 136843719, 136851803, 136856115, 136857620, 136863260, 136872994, 136878889, 136881334, 136883245, 136889295}

    {999973081, 911506944, 829613817, 781577231, 737547259, 712015944, 698160760, 648356516, 571494564, 561458746, 512089164, 469563275, 445287185, 419381890, 409800881, 403802633, 388400966, 351613370, 335049092, 296824322, 280073466, 275770410, 271103009, 261911469, 254193997, 243824867, 215520914, 192612295, 189004086, 162035146, 148660949, 128759357, 103265230, 95654584, 74251135, 58677146, 48233670, 35427954, 23705537, 22141840, 13367611, 9350677, 8396360, 5303261, 1782927, 874459, 586568, 440497, 335608}

    Returns: "Consistent"

  59. {800596900, 800598960, 800599110, 800605352, 800612290, 800621652, 800625012, 800633753, 800637930, 800642433, 800648267, 800654770, 800656740, 800662370, 800669914, 800676103, 800677583, 800680698, 800685456, 800690903, 800697785, 800707688, 800711405, 800716602, 800720181, 800723808, 800731878, 800740347, 800748957, 800749330, 800758365, 800761812, 800763816, 800766322, 800775790, 800776091, 800780917, 800787486, 800790518, 800799662, 800800130, 800804079, 800804820, 800812800, 800813074, 800817374}

    {907311826, 886849215, 885479489, 831519229, 772253763, 693932137, 666163136, 596783841, 565752453, 533338383, 494011389, 450174666, 437331484, 403876434, 362016074, 329232579, 322186633, 308207683, 287725828, 267122143, 243190078, 211095097, 199377550, 183117140, 172220808, 161517708, 137944662, 115543739, 94679986, 93815040, 73015357, 65113549, 60557777, 55081235, 37992584, 37503403, 30740417, 21919561, 18358181, 12216387, 11951078, 10113507, 9928614, 8351243, 8301605, 7937065}

    Returns: "Consistent"

  60. {197810150, 197815275, 197816047, 197818097, 197822088, 197822313, 197829646, 197836588, 197840306, 197845373, 197852520, 197857827, 197866726, 197866794, 197876722, 197878661, 197880795, 197881098, 197889810, 197897156, 197903431, 197909167, 197910392, 197916325, 197920661, 197921926, 197927877, 197931370, 197937736, 197945229, 197948339, 197948840, 197957177, 197958725, 197963317, 197966619, 197968190, 197975543, 197982788, 197984643, 197992484, 197993127, 197994241, 197996165, 198005324, 198006908, 198012266, 198021252}

    {999629225, 948479159, 940868292, 921031575, 885105632, 883205306, 823396497, 768042262, 738648044, 699091537, 648107013, 610922920, 550782055, 550324111, 483716945, 471112812, 457866267, 455993733, 403365015, 364040799, 331526787, 302735678, 297133888, 270445741, 251225325, 245783859, 221125078, 206840012, 182424071, 155969962, 145165941, 143488515, 117740868, 113161050, 102552674, 95280362, 92295462, 78324762, 65193402, 62028309, 49167371, 48166389, 46593316, 44570469, 36585317, 35634411, 35294104, 35174048}

    Returns: "Consistent"

  61. {935006272, 935009322, 935018524, 935021883, 935028711, 935037222, 935044315, 935044422, 935046573, 935047355, 935052771, 935056440, 935060536, 935063281, 935068028, 935070495, 935072706, 935076295, 935079952, 935086939, 935092530, 935097534, 935097735, 935102647, 935112062, 935116115, 935117108, 935117353, 935121600, 935127607, 935133121, 935140598, 935141222, 935145739, 935148937, 935150689, 935157609, 935159847, 935162406, 935167961, 935171087, 935174955, 935176067, 935183191, 935191028, 935192752, 935202345, 935203809}

    {972345266, 941972807, 853060524, 822441004, 760835239, 684762753, 625354299, 624492953, 607460731, 601536149, 561721478, 536233704, 508449797, 489931483, 458131020, 441803718, 427379687, 405795441, 383802243, 346453429, 322596109, 301768068, 300969070, 284207206, 253476420, 240675081, 237746352, 237044002, 225921078, 210285729, 196106416, 177657193, 176186008, 166149778, 159518495, 155991246, 142217502, 137892580, 133705199, 124660026, 119683525, 113940466, 112412800, 102853485, 94274333, 93410254, 90236950, 90129562}

    Returns: "Consistent"

  62. {440829890, 440835272, 440845126, 440846276, 440846284, 440848589, 440856364, 440858015, 440861716, 440863663, 440864708, 440869839, 440876082, 440879642, 440882491, 440892229, 440897352, 440902284, 440907676, 440916660, 440926483, 440928016, 440934517, 440934797, 440940816, 440945987, 440955874, 440964794, 440973939, 440979379, 440981763, 440982225, 440989174, 440999128, 441004937, 441007841, 441009223, 441016671, 441024087, 441025091, 441034804, 441037181, 441043706, 441052450, 441055092, 441060367, 441063178, 441068041, 441070402, 441077704}

    {996447152, 943717183, 850371337, 839554015, 839480127, 819541610, 753594211, 740712084, 713030591, 698879859, 691898207, 660971964, 623982311, 602999604, 586704475, 533065797, 504912681, 478029891, 449763406, 403764125, 354603539, 347146364, 316866756, 315686701, 292247647, 272400858, 237270655, 206818352, 176845049, 160731769, 153670361, 152388690, 133337315, 106320590, 91140169, 83575989, 80013023, 61809020, 44647445, 42432960, 30868645, 28104733, 21546908, 13101561, 10846802, 6424665, 5234112, 3762282, 3173555, 2174384}

    Returns: "Consistent"

  63. {935339498, 935341071, 935344242, 935344469, 935354286, 935354771, 935355917, 935365729, 935371619, 935373943, 935377816, 935383069, 935385041, 935392639, 935397830, 935398360, 935400063, 935401072, 935406469, 935406498, 935406628, 935413872, 935421297, 935427045, 935430527, 935433911, 935442968, 935451914, 935457687, 935465613, 935473985, 935475063, 935482884, 935487007, 935496805, 935502383, 935509263, 935510313, 935510678, 935518053, 935525518, 935529379, 935530030, 935530230, 935539050, 935542078, 935543743}

    {986990757, 971295887, 939839495, 937702198, 847149093, 842976638, 833117600, 751907914, 703918053, 685248644, 654546994, 613165295, 597712342, 540027820, 502904226, 499306775, 488089495, 481622918, 447636028, 447455887, 446682426, 405566339, 363742627, 333233198, 315123529, 297932331, 252592968, 211348882, 186188081, 155979434, 125341534, 121454098, 100025273, 89398118, 64895230, 51962660, 38209452, 36250077, 35652009, 23619276, 12965804, 8015597, 7187707, 7033675, 2180021, 1210948, 1051740}

    Returns: "Consistent"

  64. {279707859, 279714121, 279721547, 279728711, 279730535, 279738508, 279745860, 279752340, 279755037, 279756162, 279756483, 279758925, 279762260, 279765562, 279770585, 279773850, 279774935, 279778449, 279778818, 279787703, 279789585, 279792804, 279793765, 279796785, 279802597, 279811229, 279813328, 279816528, 279817319, 279823130, 279831832, 279838292, 279843369, 279844176, 279852717, 279861212, 279870791, 279879099, 279884610, 279892624, 279892810, 279893196, 279899375, 279902883, 279908230, 279915081, 279923095}

    {970361340, 911225484, 846488537, 787303983, 772749085, 712788843, 658604566, 612358222, 593148444, 585511873, 583335581, 567085116, 545308534, 524163045, 492677995, 472902030, 466637601, 448745491, 446899016, 403353631, 394129949, 380294411, 376225250, 364402885, 343776681, 314554135, 307484564, 297219207, 294794534, 280096716, 258763318, 243591213, 232843367, 231271614, 216897359, 202829654, 187551955, 175969112, 168583258, 159044826, 158852165, 158509002, 154272492, 152353761, 149737437, 147052791, 145256302}

    Returns: "Consistent"

  65. {146993666, 146996913, 146999571, 147001516, 147004756, 147014054, 147020006, 147021542, 147025892, 147027888, 147032894, 147042353, 147044006, 147045060, 147053185, 147056590, 147058860, 147064836, 147068071, 147074300, 147081969, 147086790, 147095263, 147097022, 147101541, 147108729, 147117367, 147122283, 147128037, 147128571, 147135337, 147138535, 147145747, 147155644, 147161811, 147168323, 147175039, 147180879, 147183546, 147186005, 147192412, 147198576, 147202314, 147211286, 147218915, 147228239}

    {948994420, 917761252, 894030718, 877379081, 849995543, 771581807, 721666647, 708903494, 673191926, 658152066, 620431856, 554594057, 543253033, 536117259, 482370300, 460579327, 446289514, 409280010, 390146444, 358544457, 321676792, 299214306, 261999332, 254908996, 237517557, 211578235, 182179595, 165842418, 147561566, 145891628, 127054275, 118207165, 100757853, 77806859, 63802440, 49351066, 35682664, 24631942, 20735638, 17399868, 8875413, 4732845, 3164265, 968447, 140953, 62628}

    Returns: "Consistent"

  66. {42004436, 42004765, 42007204, 42010293, 42011869, 42017408, 42022679, 42026497, 42030037, 42037077, 42041938, 42046453, 42055239, 42058914, 42059401, 42061795, 42067840, 42076542, 42078043, 42078729, 42079837, 42083311, 42089930, 42097267, 42107209, 42108997, 42114609, 42124436, 42128973, 42136797, 42145982, 42151433, 42151931, 42161271, 42167016, 42171348, 42180668, 42181207, 42186400, 42190171, 42192376, 42197525, 42202120, 42211178, 42213776, 42216445, 42219278, 42220216, 42221998}

    {979585774, 976323225, 952626438, 922664612, 907463488, 854198445, 804548854, 769182857, 736916556, 676962036, 638709947, 604185191, 541904905, 517344144, 514146042, 498494164, 462292250, 412054734, 404662010, 401290826, 395918324, 379342217, 350999659, 319582625, 280345686, 273520663, 252318763, 217596227, 202568862, 179363767, 152967304, 138760149, 137466158, 114237041, 100884202, 91576561, 71910765, 70845511, 61473011, 55226062, 51821594, 45117045, 39487526, 28761749, 26253357, 23727329, 21552051, 21080413, 20894554}

    Returns: "Consistent"

  67. {214882526, 214889293, 214890338, 214897722, 214898232, 214902479, 214905406, 214906143, 214913280, 214916573, 214918201, 214926116, 214929401, 214931213, 214934255, 214935614, 214940433, 214947110, 214955692, 214956298, 214957034, 214958939, 214960741, 214967513, 214972667, 214977791, 214978266, 214978454, 214984661, 214986909, 214988928, 214996284, 215005586, 215010132, 215011526, 215018914, 215021181, 215028211, 215035868, 215036363, 215045043, 215052225, 215057205, 215067047, 215071330, 215080089, 215083537, 215085572}

    {973839178, 906173878, 895751437, 822625929, 817703228, 781609195, 757452628, 751379831, 694844390, 669206869, 656601777, 595591135, 570382904, 556521235, 533857613, 523888910, 489338704, 442030525, 387167533, 383397612, 378879708, 367777092, 357372070, 320084485, 292572952, 266130189, 263719037, 262801597, 232511437, 222176872, 212927104, 180372928, 140591966, 124211022, 119718804, 100217989, 94353766, 76532303, 58686490, 57614701, 40167667, 26789021, 19572012, 6982174, 4258914, 782008, 332551, 287077}

    Returns: "Consistent"

  68. {499182958, 499186619, 499188574, 499190973, 499195252, 499195379, 499196844, 499199160, 499206228, 499207813, 499216329, 499220881, 499222619, 499229514, 499231655, 499237460, 499245910, 499253169, 499255435, 499256331, 499262024, 499270600, 499276992, 499284433, 499289504, 499295131, 499295379, 499304414, 499312730, 499316544, 499318596, 499320496, 499320594, 499328170, 499331824, 499336589, 499343547, 499346140, 499349990, 499351676, 499353667, 499354826, 499362870, 499371643, 499375763, 499377402, 499386065}

    {988874204, 952823847, 952511950, 928914611, 888109983, 886936099, 874564439, 855399193, 797592045, 784753137, 718123192, 683330354, 670507517, 620757909, 605420919, 564563862, 507433161, 458581279, 443430635, 437513038, 400096354, 347736638, 309773721, 267401038, 239560831, 212371712, 211233175, 171794664, 138887534, 124417319, 116708052, 109773026, 109437962, 86898272, 76534773, 63364523, 45355156, 38698480, 29463442, 25662046, 22705606, 21421685, 13836268, 6045490, 3033512, 2904603, 2807001}

    Returns: "Inconsistent"

  69. {129362013, 129370959, 129371164, 129371448, 129375973, 129377493, 129383979, 129385848, 129392286, 129392788, 129401609, 129402255, 129408179, 129410289, 129410798, 129417445, 129427302, 129427324, 129432355, 129432693, 129440890, 129448575, 129451255, 129460616, 129463644, 129466573, 129471771, 129473724, 129476331, 129479953, 129489530, 129496972, 129501586, 129509193, 129510674, 129511645, 129517096, 129520703, 129529552, 129534076, 129539135, 129546290, 129552499, 129557700, 129561516, 129568658}

    {964714536, 876763719, 874863653, 872140094, 829066452, 814796490, 755735579, 739250005, 683028124, 678670635, 602970009, 597502470, 549271814, 532166694, 528357445, 478932002, 409375529, 409223794, 377160169, 375072405, 330669684, 289674516, 275583134, 229834284, 216028379, 202993274, 180016692, 171442310, 162843194, 151317340, 124430092, 104162116, 91821362, 71883269, 68052050, 65688345, 53333686, 46388996, 33332420, 29581330, 25830448, 21195917, 17653632, 15174383, 14942469, 14687373}

    Returns: "Inconsistent"

  70. {511245015, 511248041, 511254005, 511258798, 511266507, 511269547, 511270003, 511273587, 511277622, 511278427, 511281561, 511285728, 511286104, 511288607, 511294185, 511298593, 511304224, 511307007, 511310503, 511315986, 511325835, 511328959, 511334461, 511344455, 511347171, 511352037, 511356563, 511365047, 511366137, 511369944, 511375625, 511378740, 511381405, 511386009, 511391630, 511392419, 511392825, 511399383, 511403881, 511407988, 511414744, 511414967, 511421037, 511423876, 511424030, 511426014, 511434002, 511441413, 511444756, 511454382}

    {949979782, 919780074, 861490772, 816117653, 745780852, 718107799, 714023672, 682136695, 648110851, 641589870, 616381810, 583086946, 580134468, 560951852, 521599705, 493907200, 459567352, 442650172, 421705130, 389685722, 338333367, 323015493, 296624672, 250149548, 237949899, 217749060, 199486149, 169161312, 165451921, 152773827, 134274816, 124760248, 116749772, 103272506, 102243285, 100428398, 99716991, 89339506, 83074370, 78789709, 71895022, 71668876, 66004954, 63492455, 63360294, 62007658, 58091016, 55640001, 55356593, 55316837}

    Returns: "Inconsistent"

  71. {314547735, 314548770, 314556819, 314564339, 314571533, 314573122, 314574544, 314577594, 314579720, 314580329, 314585105, 314587765, 314594764, 314595694, 314597719, 314600943, 314610461, 314611673, 314612297, 314617633, 314619678, 314624358, 314634048, 314637917, 314642631, 314650922, 314658033, 314661086, 314663992, 314665465, 314672575, 314678887, 314679056, 314680500, 314681686, 314684085, 314693629, 314696135, 314700223, 314700552, 314708755, 314711685, 314721452, 314729281, 314738456, 314745704, 314747914, 314756016, 314760446}

    {990791216, 980581270, 902066444, 833038686, 768365206, 754177410, 741545670, 714770455, 696501325, 691337592, 652084701, 630776231, 576159298, 569024607, 553659209, 529845841, 460598076, 452150858, 447851097, 425621516, 412795721, 384361479, 329032017, 307531557, 284228367, 244241841, 210474919, 196572416, 183488568, 177732635, 151119319, 127635579, 127013670, 121773280, 117488413, 109223522, 77660393, 70859257, 62083727, 61436597, 47199041, 42503160, 31922723, 23752263, 15650654, 11067291, 10298220, 7979089, 7665603}

    Returns: "Inconsistent"

  72. {121371902, 121378818, 121384768, 121387467, 121387795, 121393474, 121400388, 121409469, 121414788, 121419442, 121419859, 121423828, 121424885, 121431134, 121438700, 121440003, 121446443, 121447719, 121447819, 121448114, 121449651, 121452619, 121459783, 121463712, 121467210, 121471517, 121474882, 121481870, 121490280, 121499495, 121502767, 121509333, 121510505, 121516024, 121517921, 121521162, 121528588, 121529005, 121533128, 121533691, 121536359, 121539527, 121544916, 121548579, 121551086, 121555307, 121563165}

    {962092972, 893047334, 834230111, 808916042, 806004369, 756363784, 696151024, 617925563, 573502087, 538977920, 535895182, 506693294, 498919106, 455451641, 403044668, 394232470, 351417414, 343139148, 342525908, 340916307, 332567093, 317783369, 286082153, 268938804, 253726857, 235400299, 221644760, 193206221, 161463443, 152204372, 141625228, 122838100, 119783449, 105602291, 100908430, 94057673, 79702557, 78975663, 72012856, 71070270, 66865807, 62713088, 58417374, 55928139, 54258422, 53558969, 53460259}

    Returns: "Inconsistent"

  73. {907076714, 907077228, 907080577, 907089379, 907091584, 907096683, 907097089, 907100923, 907108686, 907109589, 907113986, 907116223, 907123636, 907126200, 907130103, 907138863, 907143009, 907143151, 907152512, 907161368, 907169053, 907178573, 907181654, 907184179, 907184369, 907189987, 907190191, 907191732, 907193763, 907199709, 907208500, 907215541, 907219268, 907226454, 907235653, 907243559, 907244738, 907252210, 907252238, 907260589, 907269256, 907278893, 907279373, 907285889, 907288426, 907291316, 907294020}

    {983244447, 978170528, 945884990, 862891674, 842827169, 796763566, 793150590, 759727904, 693080842, 685991854, 652191346, 635364120, 582434718, 564265315, 537206674, 477043744, 462225618, 461413601, 408357530, 360047084, 320803440, 280706809, 268285285, 258933883, 258234417, 239418523, 238785145, 234209423, 228543608, 213075273, 190434573, 172486627, 164068944, 150590377, 133342252, 120673441, 118885342, 108849204, 108812816, 98114750, 87161269, 75369147, 74856318, 69109643, 67594482, 66176940, 65578392}

    Returns: "Inconsistent"

  74. {8788167, 8788378, 8788999, 8790852, 8792830, 8801302, 8809796, 8810355, 8818187, 8824486, 8827513, 8830585, 8832873, 8836059, 8843805, 8852587, 8853073, 8856589, 8859987, 8864451, 8866519, 8871907, 8874904, 8876185, 8882277, 8888555, 8891770, 8892222, 8893992, 8900014, 8904867, 8906832, 8913216, 8918263, 8923552, 8924603, 8934047, 8938994, 8939197, 8949165, 8950347, 8953966, 8961430, 8966207, 8969079, 8977490, 8982171}

    {992373576, 990266815, 984136438, 966702542, 948391394, 870161419, 792711420, 787632415, 718073750, 664013744, 638222897, 612480749, 593407001, 567067927, 505550610, 437266208, 433678145, 408769578, 384780395, 353978656, 340086694, 307047712, 289038740, 281462910, 249360588, 234708821, 218873877, 216680447, 208494314, 181322761, 159617409, 150918611, 123849929, 103725916, 83446506, 80058637, 58067098, 47782768, 47394187, 29523313, 27809325, 22990344, 14329698, 9225816, 7077057, 4677478, 3907681}

    Returns: "Inconsistent"

  75. {826871603, 826879752, 826884646, 826886268, 826887751, 826896002, 826905604, 826908041, 826912047, 826917887, 826919200, 826919872, 826921508, 826931330, 826932344, 826935073, 826944298, 826947847, 826957090, 826963699, 826963922, 826964956, 826971603, 826971631, 826981170, 826990544, 826993393, 826998314, 827007853, 827017663, 827017793, 827017814, 827018232, 827020061, 827024360, 827024842, 827026851, 827034466, 827042851, 827048674, 827051319, 827061151, 827061191, 827066658, 827069735, 827072590, 827076522, 827081290}

    {982121828, 900632982, 851784493, 835880284, 822022941, 749447612, 666776622, 646259951, 612753217, 564951833, 554725559, 549693468, 538919964, 476184094, 470056805, 454482284, 402195287, 382627188, 332439260, 296878132, 295738364, 293823915, 261260055, 261144142, 224265062, 189001291, 180264044, 165275797, 136615360, 107291874, 106909244, 106853820, 105876261, 101674819, 92210165, 91162185, 87378381, 73410279, 58680862, 48689083, 44235496, 29918760, 29871981, 26082578, 24273403, 22856836, 21423367, 21380031}

    Returns: "Inconsistent"

  76. {324622906, 324627320, 324634639, 324640586, 324643157, 324646377, 324647295, 324648059, 324657575, 324665375, 324669770, 324679151, 324680006, 324689445, 324696199, 324701515, 324709114, 324717343, 324722013, 324724014, 324725490, 324734681, 324735192, 324736291, 324736328, 324742495, 324743065, 324744329, 324752573, 324757920, 324758962, 324763542, 324765060, 324769819, 324771862, 324772304, 324781886, 324785726, 324786947, 324793301, 324793320, 324796935, 324801121, 324803852, 324809261, 324814419, 324824399}

    {979903459, 936040586, 863966873, 838608344, 815696784, 787581689, 779726879, 773197890, 695156873, 632066113, 599127697, 531257026, 525182254, 460576425, 416028597, 381144434, 331755031, 279138131, 249815282, 237755193, 228982468, 180457411, 178082592, 173120348, 172954263, 146099019, 144144647, 140028285, 113729291, 98151936, 95258212, 83795254, 80222303, 69102175, 65071948, 64292339, 48148195, 41969288, 40031464, 30394460, 30370628, 28021997, 26090637, 25017789, 23503750, 23266380, 23245168}

    Returns: "Inconsistent"

  77. {33912302, 33913067, 33915974, 33916227, 33916327, 33924646, 33927707, 33930177, 33935009, 33939125, 33944525, 33946308, 33953938, 33955424, 33958436, 33966426, 33974194, 33983448, 33984430, 33992401, 33993249, 34003067, 34006640, 34015632, 34016240, 34016497, 34025255, 34030490, 34033625, 34039907, 34040264, 34046055, 34053607, 34061859, 34066496, 34070437, 34076769, 34076922, 34078219, 34082089, 34087864, 34091800, 34092863, 34099762, 34105705, 34114239, 34122899, 34127316, 34127378, 34133457}

    {999978194, 992341983, 963405838, 960914180, 959939603, 878950600, 850035524, 827233104, 784972639, 749711789, 704187743, 689392534, 631061318, 619881963, 598869950, 546306768, 495388509, 437319797, 431393633, 386003384, 381224776, 325967862, 306412412, 276768746, 273908899, 272740394, 235246023, 212937508, 199860741, 178241148, 177047384, 157926568, 133771684, 109360722, 95845190, 84394814, 66049741, 65614800, 62005569, 51737736, 38875580, 30828822, 28975802, 19529674, 11681113, 3232518, 677614, 179114, 176222, 21014}

    Returns: "Inconsistent"

  78. {513774936, 513776484, 513785528, 513791298, 513794815, 513801812, 513802586, 513803807, 513807433, 513816353, 513824029, 513826295, 513829631, 513836477, 513841728, 513851207, 513854666, 513863435, 513865439, 513869413, 513874971, 513875037, 513881912, 513885562, 513886635, 513894202, 513895516, 513896426, 513904945, 513913220, 513914933, 513915060, 513916324, 513918583, 513928051, 513932864, 513942577, 513946650, 513949066, 513949441, 513953317, 513960145, 513967168, 513967969, 513976118, 513976574, 513985342, 513988185}

    {997038266, 981745408, 892740170, 836149601, 803304566, 740156871, 733914889, 724150262, 695555900, 629316894, 574172588, 558728661, 536913417, 494198172, 463897164, 411158526, 392413786, 345238516, 334536869, 313390236, 284236959, 283908155, 251694769, 234927119, 230182217, 197266284, 191816133, 190661876, 157154251, 126390346, 120136190, 119673805, 115242212, 107597316, 79428489, 66923592, 42236967, 33576312, 29517907, 28953339, 24706994, 21009519, 18516589, 18242605, 16122087, 16024202, 14526476, 14522943}

    Returns: "Inconsistent"

  79. {510645344, 510649716, 510654295, 510658748, 510667025, 510670060, 510670077, 510679730, 510688164, 510690339, 510690935, 510695412, 510701046, 510702729, 510709482, 510712620, 510717696, 510721585, 510730356, 510736473, 510743196, 510745860, 510753393, 510755356, 510755741, 510759251, 510765233, 510766516, 510766954, 510773538, 510776375, 510784702, 510786731, 510795313, 510797986, 510806264, 510808264, 510808915, 510810964, 510814572, 510823944, 510828332, 510830664, 510831266, 510840462, 510848880, 510854867, 510855837}

    {986626426, 942933976, 897907737, 855918798, 781199433, 754430509, 754284552, 675004334, 607008626, 590219011, 585912661, 554616582, 516076943, 504750007, 460410494, 441331442, 410597816, 387063158, 334557487, 299156439, 260709347, 247212942, 209569122, 200193427, 198426893, 182793134, 160346647, 155979850, 154491475, 134771414, 126360519, 103443524, 98586679, 78268097, 72549314, 55355037, 51553664, 50442458, 50322002, 47112334, 38907756, 35215927, 34136075, 33919889, 32141240, 30847050, 30076253, 30069800}

    Returns: "Inconsistent"

  80. {686024504, 686033845, 686042554, 686046709, 686054228, 686063856, 686073777, 686078561, 686079229, 686082896, 686089187, 686092325, 686097318, 686104842, 686108084, 686116367, 686122448, 686125594, 686127788, 686130245, 686131920, 686136659, 686146451, 686146603, 686150738, 686151665, 686155349, 686155820, 686163000, 686164485, 686165412, 686168338, 686172093, 686180444, 686181408, 686182986, 686186788, 686190876, 686200548, 686202864, 686202970, 686209889, 686218312, 686220241, 686221626, 686222535}

    {998107088, 905383074, 821116720, 781526140, 716558032, 635505160, 558542897, 522589808, 517767385, 493984757, 454314402, 435247361, 406699101, 364591587, 347129809, 304681863, 273837941, 258434913, 247974058, 236627452, 229094917, 209040272, 170159822, 169615907, 155008001, 151862853, 139645396, 138185725, 116174367, 111760662, 109072046, 100788007, 90510163, 74129340, 72296762, 69724022, 64417201, 60198706, 50392545, 48090260, 48002868, 43439152, 39577272, 38879650, 38507195, 38506446}

    Returns: "Inconsistent"

  81. {282108868, 282110381, 282113692, 282119762, 282121943, 282130250, 282130733, 282135550, 282138675, 282140898, 282140969, 282148882, 282153626, 282161963, 282163337, 282169563, 282171665, 282178678, 282182494, 282190025, 282194985, 282195084, 282198287, 282202423, 282210650, 282215986, 282221223, 282221426, 282226731, 282230448, 282237719, 282245501, 282247871, 282256030, 282264974, 282272770, 282278598, 282282541, 282282910, 282291324, 282299617, 282305544, 282315365, 282321233, 282323917, 282333718, 282340301, 282346479}

    {887620998, 872497187, 840520447, 787778602, 769001777, 698962618, 695232536, 658388750, 635781565, 620004725, 619513050, 564917518, 533627250, 481902588, 473463090, 435413905, 422596299, 380516230, 358426634, 317421244, 290828587, 290327036, 274799955, 255068507, 216448699, 195878795, 176969082, 176271368, 160366589, 150345281, 131272924, 112668471, 107228803, 89191848, 71396196, 58609880, 49473065, 44845776, 44487863, 36891656, 29513639, 24464134, 16470704, 12247760, 11159572, 8858578, 8276335, 8273894}

    Returns: "Inconsistent"

  82. {436826417, 436828318, 436829370, 436832913, 436838426, 436841400, 436843414, 436848500, 436851998, 436855960, 436856243, 436860599, 436864125, 436865705, 436866696, 436869014, 436877477, 436882518, 436889629, 436895067, 436896237, 436899418, 436905729, 436908625, 436909250, 436910440, 436916195, 436920724, 436921973, 436931327, 436932179, 436938073, 436944960, 436946908, 436949500, 436951712, 436957006, 436959445, 436961018, 436965977, 436973861, 436976523, 436980482, 436983540, 436989355, 436996766, 436997174, 437000238, 437000429, 437008008}

    {932720001, 913753874, 903499858, 869303460, 819902548, 794558032, 777913912, 736055713, 707436955, 675618120, 673353806, 640300096, 613683651, 602333144, 595469773, 579641680, 526995509, 498094854, 457691620, 427444861, 421020006, 404027717, 370932727, 356072502, 353119002, 347944990, 325953620, 308803135, 304301465, 270958793, 267951123, 247177377, 223878433, 217961707, 210404734, 204182697, 189441667, 183019401, 179003336, 166642689, 148396030, 143752835, 138272881, 134565501, 128664442, 121758698, 121418021, 119411211, 119363353, 119357892}

    Returns: "Inconsistent"

  83. {304129744, 304136126, 304141972, 304143896, 304151415, 304155427, 304157004, 304163740, 304164162, 304171812, 304176550, 304181017, 304183652, 304188979, 304194738, 304196588, 304200874, 304204046, 304204300, 304205574, 304210059, 304217673, 304226111, 304235440, 304242423, 304245534, 304246230, 304253376, 304256462, 304262077, 304268542, 304270482, 304276633, 304280280, 304281975, 304282750, 304287884, 304288752, 304297721, 304303529, 304311490, 304318290, 304323891, 304329250, 304337466, 304344330}

    {963138442, 899679299, 843530272, 825531665, 761015717, 728201957, 715435805, 663890363, 660822549, 605853354, 572345514, 542041015, 524455624, 492893738, 460665886, 451062936, 429295330, 413253144, 411991741, 405691918, 383796543, 350492752, 313752380, 274967096, 246198878, 235520529, 233625573, 214609510, 206448756, 192857429, 177348207, 172789558, 160987373, 155063259, 152462460, 151305631, 145418178, 144566674, 137083473, 132333762, 126281838, 122906242, 120613315, 118617460, 116817902, 116815209}

    Returns: "Inconsistent"

  84. {148332751, 148335459, 148337603, 148344124, 148353223, 148356169, 148359072, 148362288, 148370843, 148371019, 148377545, 148378699, 148385024, 148386103, 148392856, 148395108, 148403894, 148405968, 148412944, 148415400, 148419739, 148420727, 148425951, 148426344, 148434128, 148441456, 148449492, 148456134, 148464266, 148470511, 148474084, 148474107, 148478415, 148484902, 148492388, 148496587, 148503612, 148505950, 148513837, 148517770, 148519071, 148521647, 148526451, 148528687, 148530254, 148531180, 148538332}

    {976606963, 950715935, 931002452, 871863107, 789470148, 763260516, 737894103, 709795910, 635526904, 634005810, 580765326, 571617568, 522276077, 514110854, 464932541, 449096303, 389638939, 376768519, 334369536, 320151494, 295487480, 290493381, 264248541, 262324447, 230008481, 200579786, 169867018, 145289645, 118483562, 100686083, 91754643, 91698122, 82110924, 68335355, 54397882, 47745855, 36925903, 33620928, 22740122, 18186341, 16796064, 14590303, 10829950, 9171410, 8249701, 7905423, 7440321}

    Returns: "Inconsistent"

  85. {118560650, 118562790, 118564675, 118571911, 118575428, 118578132, 118579247, 118579712, 118579975, 118582815, 118592468, 118592989, 118594512, 118598725, 118605333, 118607536, 118610259, 118616483, 118618112, 118624648, 118629267, 118632340, 118640254, 118646038, 118649300, 118653335, 118654509, 118656140, 118658729, 118665186, 118665354, 118668796, 118673363, 118677039, 118677216, 118682366, 118691897, 118694471, 118695403, 118701112, 118708785, 118711857, 118718954, 118728712, 118735678, 118739946}

    {955893868, 935727466, 918224784, 852297589, 820257718, 795825367, 785830376, 781765976, 779586790, 756571893, 679480984, 675504478, 664375511, 635358127, 590653296, 576721716, 560100457, 522415650, 512651236, 475623733, 450038101, 433151470, 390643494, 360237334, 343754084, 326578185, 321644388, 315111209, 304943498, 279597336, 278955752, 266150200, 250224193, 238759848, 238303430, 225686306, 204479632, 200388769, 199291322, 193571870, 186682821, 184833440, 181074328, 177637788, 177434035, 177403407}

    Returns: "Inconsistent"

  86. {957945888, 957948385, 957948560, 957948896, 957955503, 957960055, 957965495, 957973730, 957975854, 957976480, 957976593, 957983186, 957985722, 957986757, 957993648, 958002087, 958010374, 958016471, 958020853, 958027666, 958037497, 958037863, 958047571, 958053695, 958063092, 958068239, 958070477, 958078257, 958080491, 958083902, 958084761, 958092813, 958098807, 958102401, 958111956, 958121481, 958124644, 958130568, 958137883, 958138085, 958139140, 958141811, 958147003, 958147203, 958156476, 958164179, 958167663}

    {904581464, 881331652, 879753043, 876888842, 821542548, 786714423, 748554576, 692301358, 679391687, 675587484, 674907581, 635574964, 620489612, 614501438, 576484129, 530189694, 485296786, 453636438, 432801335, 401353926, 360770325, 359350382, 326716994, 306496555, 276152126, 259643745, 253293208, 231577538, 225782818, 217670582, 215944089, 200192419, 189192127, 182812087, 166895648, 151133527, 146166509, 137937357, 128390782, 128137547, 126957162, 124290703, 120330219, 120219266, 117213391, 114996647, 114555597}

    Returns: "Inconsistent"

  87. {971036445, 971041236, 971046566, 971054418, 971054434, 971057610, 971061140, 971066130, 971072505, 971075953, 971082519, 971084606, 971092536, 971094727, 971095164, 971098760, 971104176, 971105360, 971107906, 971115812, 971119171, 971124702, 971131332, 971136873, 971137461, 971142508, 971150475, 971151443, 971154515, 971160893, 971168856, 971177897, 971182346, 971182756, 971188780, 971194351, 971202597, 971206368, 971208603, 971210425, 971210740, 971218411, 971218950, 971228552, 971234420, 971244114, 971248941}

    {966214473, 918387546, 865612524, 788193326, 788039559, 758530620, 728760737, 687067587, 634119496, 606025674, 554929063, 538690115, 479888708, 464242342, 461186977, 437539929, 404162973, 396973424, 382078863, 336779872, 317895606, 287848661, 253232010, 231022770, 228714711, 210308140, 183311428, 180069621, 170374835, 151357936, 128196522, 103739293, 92367679, 91385087, 78343413, 66857949, 50868182, 43583755, 39423661, 36212533, 35723385, 25138245, 24449107, 12942753, 8624316, 3188236, 1808584}

    Returns: "Inconsistent"

  88. {704112681, 704113089, 704114944, 704116676, 704119972, 704122845, 704124353, 704132123, 704132124, 704136519, 704145434, 704145659, 704149167, 704153116, 704154264, 704160512, 704170484, 704171861, 704172031, 704181907, 704187323, 704191627, 704200705, 704206299, 704215884, 704215890, 704219085, 704225916, 704231099, 704236531, 704237768, 704241331, 704248996, 704257791, 704266951, 704270812, 704279086, 704283266, 704285496, 704290152, 704290732, 704300396, 704301999, 704305886, 704312350, 704320402, 704321567, 704323558, 704330868, 704330934}

    {989902792, 985830747, 967366340, 950931393, 919658944, 892976531, 879003299, 807264610, 807255482, 771365307, 700812012, 699043080, 671886693, 641899858, 633725092, 590017032, 523826452, 514712933, 513606464, 451288594, 418499215, 393572373, 341512754, 310302691, 260237417, 260206696, 244292855, 212179180, 188637873, 168371818, 163776742, 151851827, 127447826, 103625909, 81133292, 72340379, 54040659, 46269272, 42806160, 39149217, 38767107, 33098397, 32243144, 30237785, 28151183, 25808543, 25610410, 25359377, 24646999, 24643127}

    Returns: "Inconsistent"

  89. {304639111, 304645692, 304647057, 304647874, 304653850, 304654419, 304659781, 304662475, 304670230, 304675687, 304683195, 304685019, 304694409, 304700140, 304704617, 304705268, 304707834, 304707916, 304715940, 304716824, 304726005, 304732644, 304741827, 304743743, 304744101, 304746944, 304753728, 304758114, 304764551, 304765411, 304771869, 304774814, 304780062, 304780900, 304787305, 304794008, 304798350, 304799899, 304804338, 304810267, 304814930, 304818976, 304826270, 304834801, 304838249, 304848197}

    {999652091, 934341273, 920996071, 913437027, 858648541, 853489066, 805767425, 782559102, 716814179, 671945554, 611534572, 597000552, 529105212, 488586146, 457443265, 452970746, 436147860, 435622285, 384641677, 379337678, 324260858, 286594969, 236597943, 226717468, 224920937, 211567222, 182785613, 166566441, 143040266, 139908844, 118119552, 108186043, 91039067, 88435143, 69148566, 51699265, 43960512, 41215994, 34501757, 25791124, 19786074, 14809833, 9332113, 3578696, 2306498, 40360}

    Returns: "Inconsistent"

  90. {551553823, 551554141, 551560232, 551566640, 551576097, 551582750, 551591207, 551596263, 551596768, 551602351, 551606685, 551609377, 551613033, 551616481, 551621029, 551626079, 551631061, 551632861, 551633192, 551638965, 551646360, 551650374, 551651466, 551654590, 551659679, 551666081, 551666963, 551668305, 551673403, 551682703, 551683350, 551690002, 551698896, 551700466, 551701638, 551705107, 551705811, 551708718, 551715035, 551717693, 551722302, 551731689, 551737570, 551744123, 551752032, 551761339, 551761774, 551764971, 551766205, 551770801}

    {958795276, 955615928, 898333207, 838423218, 753886617, 696318576, 624482478, 584073909, 580176157, 537735757, 505521247, 486172066, 463548748, 442353693, 414622969, 385352597, 357543074, 347497273, 345781938, 316454532, 283133471, 267040943, 262873868, 251315792, 232970682, 210857037, 207814188, 203209044, 185973339, 156693295, 154731078, 139636341, 119617806, 116139381, 113640731, 106465797, 105072368, 99629416, 89073159, 84974651, 78040513, 66264356, 59652418, 53177396, 47988851, 42536796, 42301173, 41425859, 41282409, 41149314}

    Returns: "Inconsistent"

  91. {693629533, 693637841, 693641986, 693649297, 693651316, 693655633, 693660455, 693667326, 693668634, 693668641, 693677506, 693682359, 693684826, 693693244, 693694784, 693695025, 693703625, 693708507, 693713376, 693719789, 693726392, 693729864, 693729926, 693736222, 693742160, 693745722, 693748825, 693754655, 693762439, 693762875, 693767305, 693772939, 693773419, 693774938, 693775073, 693775619, 693777884, 693782167, 693788063, 693793195, 693798924, 693808167, 693811815, 693819441, 693825922, 693832336}

    {978694598, 895862870, 855490441, 786929034, 768234541, 728711935, 686317013, 627699919, 617435799, 617381956, 550706635, 514636756, 497984161, 444404665, 434828829, 433515504, 387197376, 362174860, 338832875, 308095365, 280357893, 265859608, 265602326, 239846269, 217649423, 206996607, 198462487, 183020610, 163007976, 161921711, 151132593, 139834543, 138934199, 136414717, 136201989, 135361088, 132431709, 127192859, 120169165, 115269604, 110464060, 104679662, 103685401, 101729400, 100274163, 100035492}

    Returns: "Inconsistent"

  92. {536007591, 536008568, 536014633, 536016190, 536018735, 536025282, 536030586, 536033890, 536041549, 536043737, 536045470, 536048646, 536048720, 536049455, 536058431, 536067728, 536069359, 536075798, 536077216, 536086789, 536087227, 536096871, 536105687, 536113097, 536114150, 536120009, 536126583, 536129022, 536132866, 536133352, 536139659, 536143656, 536151529, 536153808, 536154248, 536163394, 536170456, 536178125, 536182574, 536187508, 536193796, 536201419, 536202936, 536208825, 536209592, 536216176, 536224367}

    {996431426, 986772994, 928368921, 913679463, 890237598, 831258034, 784767253, 757420268, 697136280, 679916719, 666706268, 642737061, 642197884, 636856453, 573659559, 508888709, 497553610, 453389009, 444290424, 390061887, 387659033, 336501351, 291981795, 255032345, 249836073, 221046397, 189655493, 178620831, 161666394, 159738505, 138215526, 125911903, 106397664, 101324439, 100522319, 84780655, 74903982, 65363846, 60593647, 57430063, 53521912, 48987196, 48151082, 45985209, 45826951, 45470609, 45328958}

    Returns: "Inconsistent"

  93. {525756686, 525757542, 525759527, 525762523, 525770257, 525780175, 525784190, 525790546, 525795117, 525799812, 525801131, 525803929, 525807244, 525814521, 525815082, 525815736, 525817741, 525823862, 525828864, 525837901, 525838353, 525846205, 525851041, 525851848, 525860244, 525861160, 525867647, 525872368, 525873413, 525879495, 525880147, 525882808, 525883019, 525888583, 525896209, 525896326, 525903398, 525908644, 525915108, 525923710, 525925830, 525932485, 525940768, 525947774, 525952719, 525959295}

    {954740489, 946501105, 927841145, 901261664, 834016707, 750176912, 717684757, 668147559, 633233809, 597701032, 587786847, 567084232, 542905638, 491446161, 487706000, 483525540, 470729996, 433799595, 404743739, 356250338, 353848639, 313245948, 288243827, 284828573, 249893638, 246135844, 219861675, 201178698, 197351255, 175584178, 173321400, 165572420, 165018111, 150693846, 134577322, 134394442, 124304136, 118612598, 112591652, 105681892, 104000004, 99513656, 94890881, 94392292, 94067766, 94022936}

    Returns: "Inconsistent"

  94. {766272959, 766282367, 766287086, 766289025, 766298000, 766302374, 766304762, 766308854, 766312760, 766313419, 766316033, 766318532, 766322267, 766327024, 766327136, 766329873, 766336045, 766340920, 766342131, 766350181, 766352073, 766358830, 766361712, 766364762, 766367180, 766369151, 766371820, 766372085, 766377042, 766381385, 766389619, 766390522, 766393956, 766397667, 766404450, 766410983, 766417900, 766424331, 766428001, 766432443, 766434443, 766443236, 766450870, 766458903, 766462474, 766470410, 766472530, 766479002, 766483473}

    {933639731, 844505946, 800906954, 783300874, 704549614, 667008573, 646755998, 612875920, 583346561, 578365179, 559050296, 540976464, 514694783, 481530082, 480794929, 463105911, 424219709, 395062161, 388229241, 344770306, 334730699, 301012107, 286739604, 271671515, 259845711, 250369143, 238663098, 237549294, 219336287, 204271225, 177118411, 174291815, 163918825, 154396830, 140663332, 128390742, 115708813, 103955691, 97282687, 89420750, 86094958, 72018748, 60205549, 47920759, 43433163, 38343028, 37139626, 35966030, 35959126}

    Returns: "Inconsistent"

  95. {101497912, 101499499, 101499948, 101500526, 101501191, 101507568, 101510067, 101511680, 101520357, 101521731, 101527707, 101532313, 101533434, 101541439, 101545188, 101545289, 101552563, 101554188, 101562644, 101565512, 101571652, 101572338, 101577962, 101586784, 101595295, 101604873, 101607532, 101610938, 101615798, 101615856, 101616031, 101621953, 101623715, 101632681, 101639235, 101644751, 101647393, 101647594, 101649392, 101652248, 101659641, 101662843, 101671026, 101674215, 101683296, 101688627, 101690855, 101693687, 101695424}

    {932828246, 917009347, 912562603, 906869707, 900465056, 839762747, 817698063, 803642561, 730550205, 719149435, 671714996, 635811210, 627423514, 569540036, 545600165, 545037510, 504841824, 496266964, 454003191, 440933434, 414653824, 411808232, 388548589, 352323558, 317527686, 278376001, 268539948, 256474985, 239497000, 239299764, 238737929, 222190315, 217294454, 193189954, 176462151, 162869514, 156471063, 156029132, 152201293, 146469174, 135771241, 131381186, 122241235, 119607122, 112115296, 109699693, 108872368, 108429740, 108387858}

    Returns: "Inconsistent"

  96. {262063967, 262072715, 262082629, 262086230, 262094151, 262096205, 262105089, 262114968, 262117666, 262118350, 262121186, 262127348, 262129994, 262138414, 262147558, 262154695, 262155553, 262156548, 262159648, 262169043, 262174886, 262183533, 262190451, 262191489, 262192967, 262194179, 262200475, 262210240, 262212690, 262215104, 262222297, 262228870, 262236730, 262239959, 262240304, 262249011, 262251630, 262252073, 262259572, 262262521, 262263034, 262267580, 262269090, 262270818, 262273224, 262275032}

    {998350888, 911327817, 815300342, 781695541, 709031079, 691689571, 621088767, 543767612, 522873249, 517969638, 498728348, 461044237, 446537585, 400959260, 352826955, 316206099, 312021117, 307535603, 293779209, 254510046, 230651109, 195601677, 169355386, 165477242, 160570295, 156594176, 137326791, 108009901, 100934155, 94173232, 75193523, 60973491, 47300802, 42160531, 41650180, 30455297, 27907279, 27485040, 20657460, 17997953, 17552103, 13628645, 12386498, 11035936, 10756607, 10754800}

    Returns: "Inconsistent"

  97. {373371452, 373373762, 373378433, 373382046, 373383450, 373391877, 373400926, 373404788, 373408485, 373416999, 373422446, 373429878, 373432003, 373433856, 373436170, 373436237, 373446101, 373446960, 373447086, 373454081, 373461281, 373465190, 373470129, 373474035, 373479321, 373485997, 373495213, 373498171, 373498372, 373502984, 373503823, 373508778, 373513539, 373521281, 373530322, 373534664, 373539186, 373544629, 373548100, 373549443, 373558093, 373561072, 373570872, 373575124, 373583394, 373591441}

    {992261515, 969267328, 923175513, 888091233, 874569361, 794261715, 708386623, 672940102, 641412131, 569645005, 524365407, 464112660, 448829636, 436170819, 421365340, 420943097, 362073877, 357147488, 356464714, 323152029, 291117709, 273954921, 253618758, 237962813, 217231248, 191294986, 157728806, 147707557, 147037914, 132446508, 129859995, 116949284, 105028017, 87343828, 67971801, 59463156, 51594479, 43343399, 38422867, 36638590, 25386346, 22628885, 20720641, 20145575, 19070928, 19062882}

    Returns: "Inconsistent"

  98. {33350872, 33356171, 33356584, 33359733, 33365192, 33369299, 33371870, 33380630, 33384330, 33391707, 33396232, 33398983, 33400810, 33405893, 33410726, 33413724, 33416678, 33422533, 33431441, 33436841, 33438048, 33438731, 33441496, 33445966, 33449182, 33450322, 33454626, 33460193, 33466421, 33473268, 33482988, 33484497, 33485021, 33487495, 33493881, 33503876, 33504198, 33513545, 33515609, 33524985, 33532799, 33542004, 33543358, 33548300, 33555157, 33558944, 33560087}

    {974187301, 921227127, 917224915, 886959958, 834865933, 796583545, 774391212, 702000918, 671883481, 614386964, 579736220, 559139553, 546329332, 516077883, 487644515, 470283972, 454602758, 424628707, 379388982, 352095180, 346132318, 342834776, 329773939, 308764275, 293737865, 288719307, 269930631, 246409509, 220196503, 192236122, 152654253, 146988813, 145427575, 138214817, 120247220, 94798827, 94148742, 80260811, 77575937, 67260566, 60155798, 55618307, 55118199, 53995956, 53134203, 52771582, 52770440}

    Returns: "Inconsistent"

  99. {969100160, 969106919, 969110901, 969114423, 969117585, 969125004, 969127475, 969128288, 969137875, 969141560, 969149739, 969155197, 969161737, 969166743, 969169123, 969177116, 969180615, 969183842, 969186909, 969189345, 969198852, 969206665, 969214005, 969216352, 969218121, 969226119, 969233593, 969239119, 969248960, 969253933, 969258095, 969259112, 969267762, 969268012, 969276122, 969277449, 969277560, 969281354, 969286835, 969294986, 969303142, 969309420, 969311591, 969318663, 969326447, 969331904}

    {976855582, 910586952, 871902280, 837717518, 807526121, 745521707, 725370876, 719110554, 647718046, 620864570, 562402168, 524045347, 481729249, 450106217, 435730814, 391402343, 372734164, 356128711, 340887053, 329105132, 283751891, 248904893, 217494807, 207744242, 201373382, 175582314, 152519572, 135959026, 107391457, 94655790, 84050729, 81540640, 65201936, 64777884, 51726919, 49838411, 49702883, 45558697, 40626040, 34812425, 30020784, 27701856, 27087417, 25706523, 24245564, 24240108}

    Returns: "Inconsistent"

  100. {1, 3, 5 }

    {7, 4, 1 }

    Returns: "Inconsistent"

This problem statement is the exclusive and proprietary property of TopCoder, Inc. Any unauthorized use or reproduction of this information without the prior written consent of TopCoder, Inc. is strictly prohibited. (c)2024, TopCoder, Inc. All rights reserved.
This problem was used for: