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