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