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