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