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