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