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