[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 504, 74 ] =
UG(ATD[504,9]).
(I) Following is a form readable by MAGMA:
g:=Graph<504|{ {54, 55}, {210, 211}, {78, 79}, {102, 103}, {1, 3}, {501, 503},
{252, 254}, {181, 183}, {36, 38}, {1, 2}, {500, 503}, {497, 498}, {185, 186},
{4, 7}, {92, 95}, {133, 134}, {156, 159}, {428, 431}, {379, 383}, {498, 502},
{3, 6}, {499, 502}, {58, 63}, {67, 70}, {72, 77}, {82, 87}, {354, 359}, {2, 4},
{450, 452}, {265, 271}, {240, 246}, {289, 295}, {313, 319}, {337, 343}, {2, 5},
{216, 223}, {192, 199}, {5, 13}, {451, 459}, {209, 217}, {167, 175}, {166, 174},
{6, 14}, {7, 15}, {22, 30}, {118, 126}, {160, 168}, {161, 169}, {355, 363},
{359, 367}, {402, 410}, {128, 137}, {448, 457}, {259, 266}, {215, 222}, {276,
285}, {304, 313}, {307, 314}, {52, 62}, {471, 477}, {65, 75}, {305, 315}, {3,
8}, {7, 12}, {324, 335}, {16, 28}, {485, 489}, {229, 233}, {192, 204}, {17, 29},
{18, 30}, {19, 31}, {32, 44}, {34, 46}, {35, 47}, {405, 409}, {4, 9}, {487,
490}, {178, 191}, {6, 11}, {403, 414}, {66, 76}, {502, 504}, {482, 492}, {481,
495}, {480, 494}, {225, 239}, {115, 125}, {401, 415}, {5, 10}, {503, 504}, {481,
494}, {468, 475}, {467, 476}, {464, 479}, {227, 236}, {177, 190}, {132, 139},
{357, 362}, {417, 430}, {78, 94}, {104, 120}, {129, 145}, {73, 88}, {457, 472},
{258, 275}, {77, 92}, {137, 152}, {353, 368}, {32, 50}, {483, 497}, {456, 474},
{137, 155}, {298, 312}, {322, 336}, {394, 408}, {11, 24}, {460, 479}, {456,
475}, {449, 466}, {233, 250}, {163, 176}, {42, 57}, {141, 158}, {14, 26}, {484,
496}, {260, 272}, {235, 255}, {230, 242}, {228, 240}, {167, 179}, {15, 27},
{142, 154}, {12, 25}, {459, 478}, {457, 476}, {450, 471}, {333, 344}, {46, 56},
{451, 469}, {263, 273}, {238, 248}, {204, 218}, {427, 445}, {40, 63}, {486,
497}, {458, 477}, {449, 470}, {163, 180}, {69, 82}, {100, 115}, {103, 112},
{135, 144}, {334, 345}, {358, 369}, {416, 439}, {424, 447}, {8, 16}, {493, 501},
{492, 500}, {491, 499}, {454, 478}, {258, 282}, {197, 221}, {9, 17}, {10, 18},
{11, 19}, {12, 20}, {294, 318}, {325, 349}, {329, 337}, {384, 408}, {385, 409},
{386, 410}, {387, 411}, {388, 412}, {389, 413}, {390, 414}, {391, 415}, {12,
21}, {228, 253}, {226, 251}, {224, 249}, {198, 223}, {196, 221}, {194, 219},
{37, 60}, {39, 62}, {45, 52}, {99, 122}, {110, 119}, {133, 156}, {142, 151},
{290, 315}, {292, 317}, {294, 319}, {300, 309}, {320, 345}, {322, 347}, {324,
349}, {326, 351}, {330, 339}, {352, 377}, {354, 379}, {356, 381}, {416, 441},
{417, 440}, {419, 442}, {421, 444}, {423, 446}, {425, 432}, {76, 86}, {262,
284}, {140, 150}, {288, 314}, {358, 380}, {32, 59}, {494, 501}, {489, 498},
{256, 283}, {234, 241}, {229, 254}, {225, 250}, {224, 251}, {197, 222}, {193,
218}, {38, 61}, {39, 60}, {68, 95}, {100, 127}, {134, 157}, {293, 318}, {295,
316}, {321, 346}, {325, 350}, {353, 378}, {357, 382}, {390, 413}, {396, 407},
{418, 441}, {422, 445}, {429, 438}, {64, 92}, {495, 499}, {260, 280}, {259,
287}, {235, 247}, {203, 215}, {65, 93}, {66, 94}, {143, 147}, {160, 188}, {355,
383}, {356, 376}, {391, 411}, {418, 446}, {8, 21}, {455, 474}, {453, 472}, {452,
473}, {198, 219}, {193, 220}, {164, 185}, {10, 23}, {97, 124}, {99, 126}, {162,
191}, {321, 348}, {326, 347}, {421, 440}, {424, 437}, {13, 19}, {490, 500},
{263, 281}, {257, 287}, {256, 286}, {206, 208}, {98, 124}, {106, 116}, {108,
114}, {332, 338}, {386, 412}, {420, 442}, {426, 436}, {9, 22}, {454, 473}, {257,
286}, {227, 252}, {201, 214}, {195, 220}, {98, 125}, {161, 190}, {290, 317},
{291, 316}, {323, 348}, {352, 383}, {420, 443}, {69, 101}, {205, 237}, {91,
123}, {130, 162}, {131, 163}, {132, 164}, {155, 187}, {389, 421}, {65, 96},
{207, 238}, {202, 235}, {81, 112}, {131, 162}, {152, 185}, {157, 188}, {280,
313}, {327, 358}, {329, 360}, {351, 382}, {83, 113}, {219, 249}, {207, 237},
{195, 225}, {86, 116}, {87, 117}, {130, 160}, {134, 164}, {135, 165}, {159,
189}, {279, 309}, {323, 353}, {347, 377}, {399, 429}, {23, 52}, {27, 56}, {66,
97}, {82, 113}, {85, 118}, {91, 120}, {138, 169}, {139, 168}, {143, 172}, {146,
177}, {148, 183}, {153, 186}, {155, 184}, {158, 189}, {269, 302}, {272, 307},
{341, 374}, {395, 424}, {93, 121}, {212, 240}, {94, 122}, {95, 123}, {141, 169},
{267, 303}, {339, 375}, {392, 428}, {31, 58}, {455, 482}, {261, 288}, {69, 96},
{71, 98}, {79, 106}, {92, 121}, {143, 170}, {144, 181}, {154, 191}, {285, 312},
{320, 357}, {344, 381}, {387, 422}, {388, 417}, {21, 51}, {453, 483}, {84, 114},
{85, 115}, {157, 187}, {268, 298}, {335, 361}, {340, 370}, {410, 444}, {30, 57},
{262, 289}, {223, 248}, {214, 241}, {205, 234}, {203, 236}, {199, 224}, {70,
97}, {73, 110}, {129, 166}, {145, 182}, {151, 176}, {271, 296}, {275, 308},
{279, 304}, {286, 313}, {327, 352}, {343, 368}, {351, 376}, {412, 443}, {221,
245}, {461, 485}, {270, 294}, {349, 373}, {392, 416}, {393, 417}, {394, 418},
{395, 419}, {396, 420}, {397, 421}, {398, 422}, {399, 423}, {407, 447}, {67,
106}, {222, 247}, {220, 245}, {218, 243}, {202, 227}, {200, 225}, {76, 101},
{152, 177}, {156, 181}, {159, 182}, {266, 291}, {268, 293}, {270, 295}, {328,
353}, {344, 369}, {346, 371}, {348, 373}, {350, 375}, {384, 425}, {397, 420},
{409, 432}, {411, 434}, {413, 436}, {415, 438}, {70, 108}, {264, 290}, {194,
232}, {71, 109}, {72, 98}, {281, 307}, {286, 308}, {332, 358}, {334, 356}, {385,
427}, {393, 419}, {72, 99}, {459, 480}, {221, 246}, {217, 242}, {206, 229},
{201, 226}, {200, 227}, {153, 178}, {269, 294}, {271, 292}, {329, 354}, {331,
352}, {345, 370}, {349, 374}, {409, 434}, {410, 433}, {414, 437}, {13, 33},
{458, 486}, {211, 255}, {210, 254}, {14, 34}, {15, 35}, {29, 49}, {31, 51}, {74,
102}, {282, 310}, {283, 311}, {336, 380}, {398, 418}, {411, 439}, {24, 53},
{463, 482}, {461, 480}, {222, 243}, {217, 244}, {199, 234}, {196, 233}, {26,
55}, {73, 100}, {90, 119}, {138, 167}, {282, 311}, {284, 305}, {287, 306}, {330,
359}, {345, 372}, {350, 371}, {30, 48}, {463, 481}, {31, 49}, {89, 119}, {136,
166}, {331, 357}, {333, 355}, {413, 435}, {25, 54}, {479, 496}, {462, 481},
{219, 244}, {203, 228}, {68, 107}, {89, 118}, {136, 167}, {151, 184}, {266,
293}, {267, 292}, {281, 310}, {328, 359}, {347, 372}, {412, 435}, {414, 433},
{147, 163}, {477, 493}, {154, 170}, {469, 484}, {473, 488}, {470, 487}, {24,
42}, {479, 493}, {478, 492}, {475, 489}, {474, 488}, {213, 231}, {208, 226},
{25, 43}, {28, 46}, {29, 47}, {274, 288}, {346, 361}, {472, 491}, {469, 486},
{464, 483}, {404, 423}, {16, 36}, {261, 305}, {17, 37}, {18, 38}, {19, 39}, {20,
32}, {84, 96}, {135, 179}, {284, 296}, {348, 360}, {20, 33}, {465, 484}, {213,
224}, {28, 41}, {93, 104}, {335, 378}, {26, 44}, {477, 491}, {476, 490}, {473,
495}, {465, 487}, {27, 45}, {90, 108}, {279, 289}, {287, 297}, {406, 416}, {408,
431}, {466, 485}, {83, 107}, {208, 232}, {149, 173}, {277, 301}, {342, 366},
{400, 424}, {401, 425}, {402, 426}, {404, 428}, {405, 429}, {148, 173}, {150,
175}, {272, 297}, {274, 299}, {276, 301}, {278, 303}, {283, 290}, {338, 363},
{340, 365}, {342, 367}, {407, 430}, {22, 44}, {264, 306}, {145, 171}, {336,
362}, {400, 426}, {88, 99}, {149, 174}, {158, 165}, {273, 298}, {277, 302},
{280, 291}, {341, 366}, {343, 364}, {20, 40}, {211, 239}, {204, 240}, {90, 102},
{91, 103}, {78, 115}, {150, 171}, {273, 300}, {278, 299}, {406, 427}, {23, 41},
{216, 230}, {81, 111}, {146, 172}, {29, 34}, {212, 235}, {209, 238}, {80, 111},
{86, 105}, {139, 180}, {153, 166}, {275, 300}, {338, 365}, {339, 364}, {55,
102}, {59, 104}, {51, 101}, {63, 105}, {309, 355}, {285, 330}, {190, 231}, {408,
449}, {185, 229}, {186, 230}, {312, 356}, {415, 450}, {56, 103}, {43, 75}, {180,
212}, {305, 337}, {60, 93}, {432, 465}, {178, 211}, {303, 334}, {48, 82}, {434,
464}, {182, 212}, {176, 210}, {171, 201}, {49, 83}, {162, 192}, {35, 64}, {437,
470}, {187, 216}, {182, 213}, {58, 89}, {293, 326}, {317, 350}, {60, 88}, {179,
215}, {165, 193}, {164, 192}, {61, 89}, {62, 90}, {63, 91}, {291, 327}, {296,
332}, {315, 351}, {170, 207}, {189, 216}, {180, 209}, {309, 336}, {422, 451},
{40, 78}, {41, 79}, {50, 84}, {292, 322}, {299, 333}, {316, 346}, {169, 206},
{190, 217}, {175, 200}, {295, 320}, {303, 328}, {310, 337}, {319, 344}, {423,
448}, {165, 205}, {431, 455}, {173, 197}, {301, 325}, {318, 342}, {37, 76},
{445, 468}, {174, 199}, {172, 197}, {170, 195}, {41, 64}, {43, 66}, {45, 68},
{47, 70}, {296, 321}, {298, 323}, {300, 325}, {302, 327}, {314, 339}, {316,
341}, {318, 343}, {425, 448}, {427, 450}, {45, 71}, {443, 465}, {442, 464},
{431, 453}, {168, 194}, {312, 338}, {430, 452}, {33, 74}, {447, 468}, {444,
471}, {440, 467}, {173, 198}, {38, 77}, {42, 65}, {46, 69}, {288, 331}, {297,
322}, {301, 326}, {317, 342}, {319, 340}, {57, 85}, {187, 215}, {186, 214},
{168, 196}, {59, 87}, {61, 81}, {429, 449}, {56, 85}, {184, 213}, {174, 195},
{161, 204}, {297, 324}, {302, 323}, {54, 88}, {445, 467}, {444, 466}, {62, 80},
{36, 75}, {189, 210}, {171, 196}, {44, 67}, {57, 86}, {299, 324}, {314, 341},
{315, 340}, {428, 451}, {179, 194}, {188, 205}, {50, 64}, {436, 454}, {54, 68},
{188, 200}, {446, 458}, {308, 320}, {442, 463}, {53, 67}, {443, 461}, {441,
463}, {440, 462}, {433, 455}, {432, 454}, {311, 321}, {48, 71}, {53, 77}, {438,
462}, {183, 207}, {49, 72}, {191, 198}, {184, 193}, {178, 203}, {176, 201},
{304, 329}, {48, 74}, {447, 453}, {439, 461}, {438, 460}, {435, 457}, {434,
456}, {306, 328}, {43, 80}, {435, 456}, {181, 206}, {177, 202}, {50, 73}, {310,
333}, {430, 469}, {172, 208}, {311, 331}, {183, 202}, {433, 460}, {307, 334},
{47, 81}, {437, 459}, {436, 458}, {175, 209}, {306, 332}, {308, 330}, {304,
335}, {80, 128}, {84, 129}, {87, 130}, {95, 132}, {94, 131}, {126, 160}, {127,
161}, {105, 136}, {111, 142}, {113, 144}, {117, 148}, {375, 406}, {107, 137},
{354, 384}, {371, 401}, {100, 135}, {107, 136}, {111, 140}, {365, 398}, {104,
140}, {116, 144}, {117, 145}, {122, 158}, {123, 159}, {363, 399}, {96, 133},
{110, 139}, {120, 157}, {368, 405}, {108, 138}, {126, 152}, {127, 153}, {364,
394}, {97, 134}, {109, 138}, {367, 392}, {375, 400}, {366, 390}, {114, 155},
{124, 149}, {360, 385}, {362, 387}, {364, 389}, {366, 391}, {376, 401}, {378,
403}, {380, 405}, {106, 128}, {120, 146}, {121, 147}, {124, 150}, {125, 151},
{382, 404}, {119, 156}, {361, 386}, {365, 390}, {367, 388}, {376, 403}, {377,
402}, {381, 406}, {379, 407}, {380, 400}, {109, 131}, {122, 148}, {123, 149},
{125, 146}, {362, 389}, {363, 388}, {116, 132}, {377, 392}, {112, 130}, {127,
140}, {370, 385}, {110, 154}, {121, 141}, {372, 384}, {117, 128}, {118, 129},
{382, 393}, {373, 397}, {383, 391}, {368, 393}, {370, 395}, {372, 397}, {374,
399}, {378, 387}, {105, 147}, {360, 402}, {369, 394}, {373, 398}, {112, 141},
{114, 143}, {361, 404}, {369, 396}, {374, 395}, {113, 142}, {371, 396}, {381,
386}, {1, 379}, {133, 504}, {1, 403}, {101, 496}, {109, 504}, {3, 419}, {75,
490}, {74, 488}, {83, 503}, {2, 426}, {6, 439}, {8, 446}, {5, 441}, {79, 499},
{24, 472}, {4, 448}, {42, 494}, {33, 484}, {10, 460}, {9, 462}, {21, 466}, {39,
495}, {58, 498}, {61, 501}, {59, 502}, {17, 478}, {7, 468}, {35, 496}, {16,
452}, {37, 497}, {214, 256}, {14, 471}, {55, 492}, {218, 257}, {40, 500}, {223,
259}, {11, 470}, {52, 489}, {53, 488}, {13, 467}, {255, 289}, {220, 258}, {253,
285}, {228, 261}, {243, 274}, {231, 262}, {244, 278}, {231, 259}, {237, 265},
{236, 264}, {239, 266}, {226, 260}, {250, 284}, {247, 273}, {246, 272}, {233,
257}, {242, 282}, {51, 474}, {252, 277}, {237, 260}, {248, 274}, {253, 279},
{252, 278}, {249, 275}, {247, 283}, {248, 276}, {234, 263}, {232, 262}, {251,
277}, {250, 276}, {238, 256}, {15, 480}, {232, 263}, {230, 265}, {23, 487}, {27,
491}, {249, 264}, {22, 485}, {18, 486}, {255, 267}, {253, 265}, {236, 280}, {25,
493}, {239, 281}, {26, 483}, {241, 267}, {246, 268}, {245, 271}, {244, 270},
{245, 270}, {241, 269}, {254, 258}, {28, 482}, {251, 261}, {243, 269}, {242,
268}, {34, 476}, {36, 475} }>;
(II) A more general form is to represent the graph as the orbit of {54, 55}
under the group generated by the following permutations:
a: (2, 3)(4, 6)(5, 8)(7, 11)(9, 14)(10, 16)(12, 19)(13, 21)(15, 24)(17, 26)(18,
28)(20, 31)(22, 34)(23, 36)(25, 39)(27, 42)(29, 44)(30, 46)(32, 49)(33, 51)(35,
53)(37, 55)(38, 41)(40, 58)(43, 62)(45, 65)(47, 67)(48, 69)(50, 72)(52, 75)(54,
60)(56, 57)(59, 83)(61, 79)(64, 77)(66, 90)(68, 93)(71, 96)(73, 99)(74, 101)(76,
102)(78, 89)(81, 106)(84, 98)(86, 103)(87, 113)(91, 105)(94, 119)(95, 121)(97,
108)(100, 126)(104, 107)(109, 133)(110, 122)(111, 128)(112, 116)(114, 124)(115,
118)(117, 142)(120, 136)(123, 147)(125, 129)(127, 152)(130, 144)(131, 156)(132,
141)(134, 138)(135, 160)(137, 140)(139, 158)(143, 149)(145, 151)(146, 166)(148,
154)(150, 155)(153, 177)(157, 167)(159, 163)(161, 185)(162, 181)(164, 169)(165,
168)(170, 173)(171, 184)(172, 174)(175, 187)(176, 182)(178, 202)(179, 188)(180,
189)(183, 191)(186, 190)(192, 206)(193, 196)(194, 205)(195, 197)(198, 207)(199,
208)(200, 215)(201, 213)(203, 227)(204, 229)(209, 216)(210, 212)(211, 235)(214,
231)(217, 230)(218, 233)(219, 237)(220, 221)(222, 225)(223, 238)(224, 226)(228,
252)(232, 234)(239, 247)(240, 254)(241, 262)(243, 250)(244, 265)(246, 258)(249,
260)(253, 278)(256, 259)(261, 277)(264, 280)(266, 283)(267, 289)(268, 282)(269,
284)(270, 271)(272, 275)(273, 281)(274, 276)(279, 303)(285, 299)(286, 287)(288,
301)(290, 291)(292, 295)(293, 311)(294, 296)(297, 308)(298, 310)(300, 307)(302,
305)(304, 328)(306, 313)(309, 334)(312, 333)(314, 325)(315, 327)(316, 317)(318,
321)(319, 332)(320, 322)(323, 337)(324, 330)(326, 331)(329, 353)(335, 359)(336,
345)(338, 344)(339, 349)(340, 358)(341, 350)(342, 346)(343, 348)(347, 357)(351,
352)(354, 378)(355, 356)(360, 368)(361, 367)(362, 372)(363, 381)(364, 373)(365,
369)(366, 371)(370, 380)(374, 375)(376, 383)(377, 382)(379, 403)(384, 387)(385,
405)(386, 388)(389, 397)(390, 396)(391, 401)(392, 404)(393, 402)(394, 398)(395,
400)(399, 406)(407, 414)(408, 422)(410, 417)(411, 425)(413, 420)(416, 423)(419,
426)(427, 429)(430, 433)(431, 451)(432, 434)(435, 443)(436, 442)(437, 447)(438,
450)(439, 448)(440, 444)(441, 446)(445, 449)(452, 460)(453, 459)(454, 464)(455,
469)(456, 465)(457, 461)(458, 463)(462, 471)(466, 467)(468, 470)(472, 480)(473,
479)(474, 484)(475, 487)(476, 485)(477, 481)(478, 483)(482, 486)(488, 496)(489,
490)(491, 494)(492, 497)(493, 495)(498, 500)(499, 501)(502, 503) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (1, 2, 4, 7, 12, 20, 32, 50, 73, 100, 127, 153, 178, 203, 228, 253, 279, 304,
329, 354, 379)(3, 5, 9, 15, 25, 40, 59, 84, 110, 135, 161, 186, 211, 236, 261,
285, 309, 335, 360, 384, 407)(6, 10, 17, 27, 43, 63, 87, 114, 139, 165, 190,
214, 239, 264, 288, 312, 336, 361, 385, 408, 430)(8, 13, 22, 35, 54, 78, 104,
129, 154, 179, 204, 230, 255, 280, 305, 330, 355, 378, 402, 425, 447)(11, 18,
29, 45, 66, 91, 117, 143, 168, 193, 217, 241, 266, 290, 314, 338, 362, 386, 409,
431, 452)(14, 23, 37, 56, 80, 105, 130, 155, 180, 205, 231, 256, 281, 306, 331,
356, 380, 404, 427, 449, 469)(16, 19, 30, 47, 68, 94, 120, 145, 170, 194, 218,
242, 267, 291, 315, 339, 363, 387, 410, 432, 453)(21, 33, 44, 64, 88, 115, 140,
166, 191, 215, 240, 265, 289, 313, 337, 359, 383, 403, 426, 448, 468)(24, 38,
49, 71, 97, 123, 148, 172, 196, 220, 244, 269, 293, 317, 341, 365, 389, 412,
434, 455, 473)(26, 41, 60, 85, 111, 136, 162, 187, 212, 237, 262, 286, 310, 328,
352, 376, 400, 423, 445, 466, 484)(28, 39, 57, 81, 107, 131, 157, 182, 207, 232,
257, 282, 303, 327, 351, 375, 399, 422, 444, 465, 483)(31, 48, 70, 95, 122, 146,
171, 195, 219, 243, 268, 292, 316, 340, 364, 388, 411, 433, 454, 472, 36)(34,
52, 76, 103, 128, 147, 160, 184, 209, 234, 259, 283, 307, 332, 357, 381, 405,
428, 450, 470, 486)(42, 61, 83, 109, 134, 159, 183, 208, 233, 258, 278, 302,
326, 350, 374, 398, 421, 443, 464, 482, 495)(46, 62, 86, 112, 137, 163, 188,
213, 238, 263, 287, 311, 334, 358, 382, 406, 429, 451, 471, 487, 497)(51, 74,
67, 92, 99, 125, 150, 174, 198, 222, 246, 271, 295, 319, 343, 367, 391, 414,
436, 457, 475)(53, 77, 72, 98, 124, 149, 173, 197, 221, 245, 270, 294, 318, 342,
366, 390, 413, 435, 456, 474, 488)(55, 79, 93, 118, 142, 167, 192, 216, 235,
260, 284, 308, 333, 353, 377, 401, 424, 446, 467, 485, 496)(58, 82, 108, 132,
158, 177, 201, 225, 249, 274, 298, 322, 346, 370, 394, 417, 439, 460, 478, 491,
75)(65, 89, 113, 138, 164, 189, 202, 226, 250, 275, 299, 323, 347, 371, 395,
418, 440, 461, 479, 492, 499)(69, 90, 116, 141, 152, 176, 200, 224, 248, 273,
297, 321, 345, 369, 393, 416, 438, 459, 477, 490, 498)(96, 119, 144, 169, 185,
210, 227, 251, 276, 300, 324, 348, 372, 396, 419, 441, 462, 480, 493, 500,
502)(101, 102, 106, 121, 126, 151, 175, 199, 223, 247, 272, 296, 320, 344, 368,
392, 415, 437, 458, 476, 489)(133, 156, 181, 206, 229, 254, 252, 277, 301, 325,
349, 373, 397, 420, 442, 463, 481, 494, 501, 503, 504)
C4[ 504, 74 ]
504
-1 2 3 379 403
-2 1 4 5 426
-3 1 419 6 8
-4 2 7 448 9
-5 441 2 13 10
-6 11 3 14 439
-7 12 4 15 468
-8 3 16 446 21
-9 22 462 4 17
-10 23 5 18 460
-11 24 6 19 470
-12 25 7 20 21
-13 33 5 467 19
-14 34 26 6 471
-15 35 27 7 480
-16 452 36 28 8
-17 37 478 29 9
-18 486 38 30 10
-19 11 13 39 31
-20 33 12 40 32
-21 12 466 51 8
-22 44 485 30 9
-23 487 41 52 10
-24 11 42 53 472
-25 12 493 43 54
-26 44 55 14 483
-27 45 56 15 491
-28 46 16 41 482
-29 34 47 49 17
-30 22 57 48 18
-31 58 49 51 19
-32 44 59 50 20
-33 484 13 74 20
-34 46 14 476 29
-35 496 47 15 64
-36 475 16 38 75
-37 497 60 17 76
-38 77 36 61 18
-39 495 60 62 19
-40 78 500 63 20
-41 23 79 28 64
-42 24 57 65 494
-43 66 25 80 75
-44 22 67 26 32
-45 68 27 71 52
-46 34 56 69 28
-47 35 70 81 29
-48 71 82 30 74
-49 72 83 29 31
-50 73 84 64 32
-51 474 101 31 21
-52 23 45 489 62
-53 77 67 24 488
-54 55 88 68 25
-55 102 26 492 54
-56 46 103 27 85
-57 30 85 42 86
-58 89 498 63 31
-59 104 502 32 87
-60 88 37 93 39
-61 89 81 38 501
-62 90 80 39 52
-63 58 91 105 40
-64 35 92 50 41
-65 93 96 42 75
-66 94 97 43 76
-67 44 70 106 53
-68 45 95 107 54
-69 46 101 82 96
-70 67 47 97 108
-71 45 48 98 109
-72 77 99 49 98
-73 88 110 100 50
-74 33 102 48 488
-75 36 490 43 65
-76 66 101 37 86
-77 92 38 72 53
-78 79 115 94 40
-79 78 499 106 41
-80 111 62 128 43
-81 111 112 47 61
-82 69 113 48 87
-83 113 49 107 503
-84 114 50 96 129
-85 56 57 115 118
-86 57 105 116 76
-87 59 82 117 130
-88 99 60 73 54
-89 58 61 118 119
-90 102 62 108 119
-91 123 103 63 120
-92 77 121 95 64
-93 121 60 104 65
-94 66 78 122 131
-95 132 68 123 92
-96 133 69 84 65
-97 66 134 124 70
-98 124 125 71 72
-99 88 122 126 72
-100 135 115 127 73
-101 496 69 51 76
-102 55 90 103 74
-103 56 112 91 102
-104 59 93 140 120
-105 136 147 63 86
-106 67 79 116 128
-107 68 136 137 83
-108 90 70 114 138
-109 71 138 504 131
-110 154 73 139 119
-111 80 81 140 142
-112 81 103 130 141
-113 144 82 83 142
-114 143 155 84 108
-115 78 100 125 85
-116 132 144 106 86
-117 145 148 128 87
-118 89 126 85 129
-119 110 89 90 156
-120 91 146 157 104
-121 92 147 93 141
-122 99 158 148 94
-123 91 159 149 95
-124 149 150 97 98
-125 146 115 151 98
-126 99 160 118 152
-127 100 161 140 153
-128 80 137 106 117
-129 166 145 84 118
-130 112 160 162 87
-131 94 162 163 109
-132 116 95 139 164
-133 134 156 96 504
-134 133 157 97 164
-135 165 100 144 179
-136 166 167 105 107
-137 155 128 107 152
-138 167 169 108 109
-139 110 132 168 180
-140 111 104 127 150
-141 121 112 158 169
-142 154 111 113 151
-143 114 147 170 172
-144 113 135 181 116
-145 171 182 117 129
-146 177 125 172 120
-147 121 143 105 163
-148 122 117 183 173
-149 123 124 173 174
-150 124 171 140 175
-151 176 125 184 142
-152 177 126 137 185
-153 166 178 127 186
-154 110 191 170 142
-155 187 114 137 184
-156 133 159 181 119
-157 187 188 134 120
-158 165 122 189 141
-159 123 156 189 182
-160 188 168 126 130
-161 190 169 127 204
-162 191 192 130 131
-163 176 147 180 131
-164 132 134 192 185
-165 135 158 193 205
-166 136 129 174 153
-167 179 136 138 175
-168 160 139 194 196
-169 138 161 206 141
-170 143 154 195 207
-171 145 201 150 196
-172 143 146 197 208
-173 198 148 149 197
-174 166 199 149 195
-175 209 167 200 150
-176 210 201 151 163
-177 146 190 202 152
-178 211 191 203 153
-179 167 135 215 194
-180 209 212 139 163
-181 144 156 183 206
-182 145 212 213 159
-183 202 148 181 207
-184 155 213 193 151
-185 152 229 164 186
-186 214 185 153 230
-187 155 157 215 216
-188 200 157 160 205
-189 210 158 159 216
-190 231 177 161 217
-191 154 198 178 162
-192 199 204 162 164
-193 165 220 184 218
-194 232 168 179 219
-195 220 170 225 174
-196 221 233 168 171
-197 221 222 172 173
-198 223 191 173 219
-199 234 224 192 174
-200 188 225 227 175
-201 176 214 171 226
-202 177 235 183 227
-203 178 236 215 228
-204 192 161 218 240
-205 165 188 234 237
-206 169 181 229 208
-207 170 237 183 238
-208 232 226 172 206
-209 180 238 217 175
-210 176 254 189 211
-211 210 178 255 239
-212 180 235 182 240
-213 231 224 182 184
-214 201 256 186 241
-215 187 222 179 203
-216 187 189 223 230
-217 209 242 244 190
-218 243 257 193 204
-219 198 244 194 249
-220 245 258 193 195
-221 245 246 196 197
-222 243 247 215 197
-223 198 248 259 216
-224 199 213 249 251
-225 200 195 239 250
-226 201 260 251 208
-227 200 202 236 252
-228 253 203 261 240
-229 254 233 206 185
-230 242 265 216 186
-231 190 213 259 262
-232 194 262 208 263
-233 257 250 196 229
-234 199 205 241 263
-235 255 212 202 247
-236 264 203 280 227
-237 265 205 260 207
-238 209 256 248 207
-239 211 266 225 281
-240 212 246 204 228
-241 234 267 214 269
-242 268 282 217 230
-243 222 269 218 274
-244 278 270 217 219
-245 220 221 270 271
-246 221 268 272 240
-247 222 235 283 273
-248 276 223 238 274
-249 264 275 224 219
-250 276 233 225 284
-251 277 224 226 261
-252 254 277 278 227
-253 265 279 228 285
-254 210 258 229 252
-255 211 267 289 235
-256 286 214 238 283
-257 286 287 233 218
-258 220 275 254 282
-259 231 287 266 223
-260 280 226 237 272
-261 288 228 305 251
-262 231 232 289 284
-263 232 234 281 273
-264 290 236 249 306
-265 253 237 271 230
-266 291 259 293 239
-267 255 292 303 241
-268 242 298 246 293
-269 243 302 294 241
-270 244 245 294 295
-271 265 245 292 296
-272 297 246 260 307
-273 298 300 247 263
-274 243 288 299 248
-275 308 300 258 249
-276 301 248 250 285
-277 301 302 251 252
-278 244 299 303 252
-279 253 309 289 304
-280 236 291 313 260
-281 310 239 263 307
-282 242 310 311 258
-283 256 311 290 247
-284 250 305 262 296
-285 253 330 276 312
-286 308 256 257 313
-287 297 257 259 306
-288 331 314 261 274
-289 255 279 262 295
-290 264 315 283 317
-291 266 280 316 327
-292 267 322 271 317
-293 266 268 326 318
-294 319 269 270 318
-295 320 289 270 316
-296 321 332 271 284
-297 287 322 324 272
-298 268 312 323 273
-299 278 333 324 274
-300 275 309 325 273
-301 276 277 325 326
-302 277 323 269 327
-303 267 278 334 328
-304 279 313 335 329
-305 315 337 261 284
-306 264 287 332 328
-307 334 281 314 272
-308 275 286 330 320
-309 300 355 279 336
-310 333 281 282 337
-311 331 321 282 283
-312 298 356 338 285
-313 286 319 280 304
-314 341 288 339 307
-315 290 305 340 351
-316 341 291 346 295
-317 342 290 292 350
-318 342 343 293 294
-319 344 313 294 340
-320 308 345 357 295
-321 311 346 348 296
-322 297 292 336 347
-323 298 353 302 348
-324 297 299 335 349
-325 300 301 349 350
-326 301 347 293 351
-327 352 291 302 358
-328 353 303 359 306
-329 354 304 337 360
-330 308 359 339 285
-331 352 288 311 357
-332 358 338 306 296
-333 299 310 344 355
-334 345 356 303 307
-335 378 324 304 361
-336 309 322 380 362
-337 310 343 305 329
-338 363 332 365 312
-339 330 364 375 314
-340 319 365 315 370
-341 374 366 314 316
-342 366 367 317 318
-343 364 368 337 318
-344 319 333 369 381
-345 320 334 370 372
-346 321 316 371 361
-347 322 377 326 372
-348 321 323 360 373
-349 374 324 325 373
-350 375 325 371 317
-351 376 315 326 382
-352 331 377 327 383
-353 323 378 368 328
-354 379 359 329 384
-355 363 309 333 383
-356 376 312 334 381
-357 320 331 382 362
-358 332 369 380 327
-359 330 354 367 328
-360 385 402 348 329
-361 386 335 346 404
-362 387 389 357 336
-363 355 388 399 338
-364 343 389 339 394
-365 398 390 338 340
-366 341 342 390 391
-367 342 388 359 392
-368 353 343 393 405
-369 396 344 358 394
-370 385 345 340 395
-371 396 346 401 350
-372 397 345 347 384
-373 397 398 348 349
-374 341 399 349 395
-375 400 339 350 406
-376 356 401 403 351
-377 352 347 402 392
-378 353 387 335 403
-379 407 1 354 383
-380 400 336 358 405
-381 386 344 356 406
-382 357 393 404 351
-383 352 355 379 391
-384 408 354 425 372
-385 409 370 360 427
-386 410 412 381 361
-387 378 411 422 362
-388 363 367 412 417
-389 364 421 413 362
-390 365 366 413 414
-391 366 411 415 383
-392 377 367 416 428
-393 419 368 382 417
-394 418 364 408 369
-395 374 419 424 370
-396 407 420 369 371
-397 420 421 372 373
-398 418 365 422 373
-399 363 374 429 423
-400 375 380 424 426
-401 376 425 371 415
-402 377 410 360 426
-403 1 376 378 414
-404 423 382 361 428
-405 429 409 368 380
-406 375 381 416 427
-407 396 430 379 447
-408 431 394 449 384
-409 385 432 434 405
-410 386 433 444 402
-411 387 434 391 439
-412 386 388 443 435
-413 389 390 435 436
-414 433 390 403 437
-415 401 391 438 450
-416 441 392 406 439
-417 440 430 388 393
-418 441 398 446 394
-419 442 3 393 395
-420 396 397 442 443
-421 440 397 389 444
-422 451 387 398 445
-423 399 446 404 448
-424 400 447 437 395
-425 432 401 448 384
-426 2 400 402 436
-427 385 445 406 450
-428 451 431 392 404
-429 399 405 438 449
-430 407 452 469 417
-431 408 453 455 428
-432 409 454 465 425
-433 410 455 414 460
-434 409 464 411 456
-435 412 456 413 457
-436 454 413 458 426
-437 424 414 459 470
-438 429 462 415 460
-439 411 6 416 461
-440 462 421 467 417
-441 418 463 5 416
-442 419 463 420 464
-443 420 465 412 461
-444 410 421 466 471
-445 422 467 468 427
-446 418 423 458 8
-447 407 453 424 468
-448 4 423 457 425
-449 429 408 466 470
-450 452 415 427 471
-451 422 469 459 428
-452 473 430 16 450
-453 431 447 472 483
-454 473 432 478 436
-455 474 431 433 482
-456 474 475 434 435
-457 476 435 448 472
-458 486 477 446 436
-459 451 478 480 437
-460 433 479 438 10
-461 485 443 480 439
-462 440 481 9 438
-463 441 442 481 482
-464 442 434 479 483
-465 484 432 443 487
-466 485 444 449 21
-467 440 13 476 445
-468 475 445 7 447
-469 451 484 430 486
-470 11 487 437 449
-471 14 444 477 450
-472 24 453 457 491
-473 495 452 454 488
-474 455 488 456 51
-475 36 456 489 468
-476 34 467 457 490
-477 458 491 471 493
-478 454 17 459 492
-479 496 464 460 493
-480 15 459 461 494
-481 462 495 463 494
-482 463 455 28 492
-483 453 464 497 26
-484 33 496 465 469
-485 22 466 489 461
-486 497 18 458 469
-487 23 465 490 470
-488 473 474 74 53
-489 485 475 498 52
-490 476 487 500 75
-491 477 499 27 472
-492 55 478 500 482
-493 25 477 479 501
-494 501 480 481 42
-495 473 499 39 481
-496 484 35 101 479
-497 486 498 37 483
-498 497 58 489 502
-499 495 79 491 502
-500 490 40 492 503
-501 61 503 493 494
-502 498 59 499 504
-503 500 83 501 504
-504 133 502 503 109
0