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