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