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