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