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