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