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