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