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