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