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