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