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