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