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