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