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