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