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