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