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