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