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