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