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