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