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