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