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