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