Skip to content

Instantly share code, notes, and snippets.

@VictorTaelin
Created June 18, 2022 11:07
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save VictorTaelin/b0980c69c3d57f076c3ada481e4a8564 to your computer and use it in GitHub Desktop.
Save VictorTaelin/b0980c69c3d57f076c3ada481e4a8564 to your computer and use it in GitHub Desktop.
rollback state list
function push(new_state, states) {
if (states === null) {
return {keep: 0, life: 0, state: new_state, older: null};
} else {
var {keep, life, state, older} = states;
if (keep === 0) {
return {keep: 1, life, state, older};
} else {
if (life > 0) {
return {keep: 0, life: 0, state: new_state, older: {keep: 0, life: life - 1, state, older}};
} else {
return {keep: 0, life, state: new_state, older: push(state, older)};
}
}
}
}
function show(states) {
if (states === null) {
return "";
} else {
return (states.keep?"+":"-") + states.state + ", " + show(states.older);
}
}
function rollback(amount, states) {
var cut = 0;
for (var i = 0; i < 3; ++i) {
cut += states.life + 1;
states = states.older;
}
states.keep = 0;
states.life = states.life + cut;
return states;
}
var states = null;
for (var t = 0; t <= 580; ++t) {
states = push(t, states);
console.log("[t="+t+"] "+show(states));
}
states = rollback(3, states);
for (var t = 561; t <= 570; ++t) {
states = push(t, states);
console.log("[t="+t+"] "+show(states));
}
states = rollback(4, states);
for (var t = 513; t <= 600; ++t) {
states = push(t, states);
console.log("[t="+t+"] "+show(states));
}
@VictorTaelin
Copy link
Author

[t=0] -0,
[t=1] +0,
[t=2] -2, -0,
[t=3] +2, -0,
[t=4] -4, +0,
[t=5] +4, +0,
[t=6] -6, -4, -0,
[t=7] +6, -4, -0,
[t=8] -8, +4, -0,
[t=9] +8, +4, -0,
[t=10] -10, -8, +0,
[t=11] +10, -8, +0,
[t=12] -12, +8, +0,
[t=13] +12, +8, +0,
[t=14] -14, -12, -8, -0,
[t=15] +14, -12, -8, -0,
[t=16] -16, +12, -8, -0,
[t=17] +16, +12, -8, -0,
[t=18] -18, -16, +8, -0,
[t=19] +18, -16, +8, -0,
[t=20] -20, +16, +8, -0,
[t=21] +20, +16, +8, -0,
[t=22] -22, -20, -16, +0,
[t=23] +22, -20, -16, +0,
[t=24] -24, +20, -16, +0,
[t=25] +24, +20, -16, +0,
[t=26] -26, -24, +16, +0,
[t=27] +26, -24, +16, +0,
[t=28] -28, +24, +16, +0,
[t=29] +28, +24, +16, +0,
[t=30] -30, -28, -24, -16, -0,
[t=31] +30, -28, -24, -16, -0,
[t=32] -32, +28, -24, -16, -0,
[t=33] +32, +28, -24, -16, -0,
[t=34] -34, -32, +24, -16, -0,
[t=35] +34, -32, +24, -16, -0,
[t=36] -36, +32, +24, -16, -0,
[t=37] +36, +32, +24, -16, -0,
[t=38] -38, -36, -32, +16, -0,
[t=39] +38, -36, -32, +16, -0,
[t=40] -40, +36, -32, +16, -0,
[t=41] +40, +36, -32, +16, -0,
[t=42] -42, -40, +32, +16, -0,
[t=43] +42, -40, +32, +16, -0,
[t=44] -44, +40, +32, +16, -0,
[t=45] +44, +40, +32, +16, -0,
[t=46] -46, -44, -40, -32, +0,
[t=47] +46, -44, -40, -32, +0,
[t=48] -48, +44, -40, -32, +0,
[t=49] +48, +44, -40, -32, +0,
[t=50] -50, -48, +40, -32, +0,
[t=51] +50, -48, +40, -32, +0,
[t=52] -52, +48, +40, -32, +0,
[t=53] +52, +48, +40, -32, +0,
[t=54] -54, -52, -48, +32, +0,
[t=55] +54, -52, -48, +32, +0,
[t=56] -56, +52, -48, +32, +0,
[t=57] +56, +52, -48, +32, +0,
[t=58] -58, -56, +48, +32, +0,
[t=59] +58, -56, +48, +32, +0,
[t=60] -60, +56, +48, +32, +0,
[t=61] +60, +56, +48, +32, +0,
[t=62] -62, -60, -56, -48, -32, -0,
[t=63] +62, -60, -56, -48, -32, -0,
[t=64] -64, +60, -56, -48, -32, -0,
[t=65] +64, +60, -56, -48, -32, -0,
[t=66] -66, -64, +56, -48, -32, -0,
[t=67] +66, -64, +56, -48, -32, -0,
[t=68] -68, +64, +56, -48, -32, -0,
[t=69] +68, +64, +56, -48, -32, -0,
[t=70] -70, -68, -64, +48, -32, -0,
[t=71] +70, -68, -64, +48, -32, -0,
[t=72] -72, +68, -64, +48, -32, -0,
[t=73] +72, +68, -64, +48, -32, -0,
[t=74] -74, -72, +64, +48, -32, -0,
[t=75] +74, -72, +64, +48, -32, -0,
[t=76] -76, +72, +64, +48, -32, -0,
[t=77] +76, +72, +64, +48, -32, -0,
[t=78] -78, -76, -72, -64, +32, -0,
[t=79] +78, -76, -72, -64, +32, -0,
[t=80] -80, +76, -72, -64, +32, -0,
[t=81] +80, +76, -72, -64, +32, -0,
[t=82] -82, -80, +72, -64, +32, -0,
[t=83] +82, -80, +72, -64, +32, -0,
[t=84] -84, +80, +72, -64, +32, -0,
[t=85] +84, +80, +72, -64, +32, -0,
[t=86] -86, -84, -80, +64, +32, -0,
[t=87] +86, -84, -80, +64, +32, -0,
[t=88] -88, +84, -80, +64, +32, -0,
[t=89] +88, +84, -80, +64, +32, -0,
[t=90] -90, -88, +80, +64, +32, -0,
[t=91] +90, -88, +80, +64, +32, -0,
[t=92] -92, +88, +80, +64, +32, -0,
[t=93] +92, +88, +80, +64, +32, -0,
[t=94] -94, -92, -88, -80, -64, +0,
[t=95] +94, -92, -88, -80, -64, +0,
[t=96] -96, +92, -88, -80, -64, +0,
[t=97] +96, +92, -88, -80, -64, +0,
[t=98] -98, -96, +88, -80, -64, +0,
[t=99] +98, -96, +88, -80, -64, +0,
[t=100] -100, +96, +88, -80, -64, +0,
[t=101] +100, +96, +88, -80, -64, +0,
[t=102] -102, -100, -96, +80, -64, +0,
[t=103] +102, -100, -96, +80, -64, +0,
[t=104] -104, +100, -96, +80, -64, +0,
[t=105] +104, +100, -96, +80, -64, +0,
[t=106] -106, -104, +96, +80, -64, +0,
[t=107] +106, -104, +96, +80, -64, +0,
[t=108] -108, +104, +96, +80, -64, +0,
[t=109] +108, +104, +96, +80, -64, +0,
[t=110] -110, -108, -104, -96, +64, +0,
[t=111] +110, -108, -104, -96, +64, +0,
[t=112] -112, +108, -104, -96, +64, +0,
[t=113] +112, +108, -104, -96, +64, +0,
[t=114] -114, -112, +104, -96, +64, +0,
[t=115] +114, -112, +104, -96, +64, +0,
[t=116] -116, +112, +104, -96, +64, +0,
[t=117] +116, +112, +104, -96, +64, +0,
[t=118] -118, -116, -112, +96, +64, +0,
[t=119] +118, -116, -112, +96, +64, +0,
[t=120] -120, +116, -112, +96, +64, +0,
[t=121] +120, +116, -112, +96, +64, +0,
[t=122] -122, -120, +112, +96, +64, +0,
[t=123] +122, -120, +112, +96, +64, +0,
[t=124] -124, +120, +112, +96, +64, +0,
[t=125] +124, +120, +112, +96, +64, +0,
[t=126] -126, -124, -120, -112, -96, -64, -0,
[t=127] +126, -124, -120, -112, -96, -64, -0,
[t=128] -128, +124, -120, -112, -96, -64, -0,
[t=129] +128, +124, -120, -112, -96, -64, -0,
[t=130] -130, -128, +120, -112, -96, -64, -0,
[t=131] +130, -128, +120, -112, -96, -64, -0,
[t=132] -132, +128, +120, -112, -96, -64, -0,
[t=133] +132, +128, +120, -112, -96, -64, -0,
[t=134] -134, -132, -128, +112, -96, -64, -0,
[t=135] +134, -132, -128, +112, -96, -64, -0,
[t=136] -136, +132, -128, +112, -96, -64, -0,
[t=137] +136, +132, -128, +112, -96, -64, -0,
[t=138] -138, -136, +128, +112, -96, -64, -0,
[t=139] +138, -136, +128, +112, -96, -64, -0,
[t=140] -140, +136, +128, +112, -96, -64, -0,
[t=141] +140, +136, +128, +112, -96, -64, -0,
[t=142] -142, -140, -136, -128, +96, -64, -0,
[t=143] +142, -140, -136, -128, +96, -64, -0,
[t=144] -144, +140, -136, -128, +96, -64, -0,
[t=145] +144, +140, -136, -128, +96, -64, -0,
[t=146] -146, -144, +136, -128, +96, -64, -0,
[t=147] +146, -144, +136, -128, +96, -64, -0,
[t=148] -148, +144, +136, -128, +96, -64, -0,
[t=149] +148, +144, +136, -128, +96, -64, -0,
[t=150] -150, -148, -144, +128, +96, -64, -0,
[t=151] +150, -148, -144, +128, +96, -64, -0,
[t=152] -152, +148, -144, +128, +96, -64, -0,
[t=153] +152, +148, -144, +128, +96, -64, -0,
[t=154] -154, -152, +144, +128, +96, -64, -0,
[t=155] +154, -152, +144, +128, +96, -64, -0,
[t=156] -156, +152, +144, +128, +96, -64, -0,
[t=157] +156, +152, +144, +128, +96, -64, -0,
[t=158] -158, -156, -152, -144, -128, +64, -0,
[t=159] +158, -156, -152, -144, -128, +64, -0,
[t=160] -160, +156, -152, -144, -128, +64, -0,
[t=161] +160, +156, -152, -144, -128, +64, -0,
[t=162] -162, -160, +152, -144, -128, +64, -0,
[t=163] +162, -160, +152, -144, -128, +64, -0,
[t=164] -164, +160, +152, -144, -128, +64, -0,
[t=165] +164, +160, +152, -144, -128, +64, -0,
[t=166] -166, -164, -160, +144, -128, +64, -0,
[t=167] +166, -164, -160, +144, -128, +64, -0,
[t=168] -168, +164, -160, +144, -128, +64, -0,
[t=169] +168, +164, -160, +144, -128, +64, -0,
[t=170] -170, -168, +160, +144, -128, +64, -0,
[t=171] +170, -168, +160, +144, -128, +64, -0,
[t=172] -172, +168, +160, +144, -128, +64, -0,
[t=173] +172, +168, +160, +144, -128, +64, -0,
[t=174] -174, -172, -168, -160, +128, +64, -0,
[t=175] +174, -172, -168, -160, +128, +64, -0,
[t=176] -176, +172, -168, -160, +128, +64, -0,
[t=177] +176, +172, -168, -160, +128, +64, -0,
[t=178] -178, -176, +168, -160, +128, +64, -0,
[t=179] +178, -176, +168, -160, +128, +64, -0,
[t=180] -180, +176, +168, -160, +128, +64, -0,
[t=181] +180, +176, +168, -160, +128, +64, -0,
[t=182] -182, -180, -176, +160, +128, +64, -0,
[t=183] +182, -180, -176, +160, +128, +64, -0,
[t=184] -184, +180, -176, +160, +128, +64, -0,
[t=185] +184, +180, -176, +160, +128, +64, -0,
[t=186] -186, -184, +176, +160, +128, +64, -0,
[t=187] +186, -184, +176, +160, +128, +64, -0,
[t=188] -188, +184, +176, +160, +128, +64, -0,
[t=189] +188, +184, +176, +160, +128, +64, -0,
[t=190] -190, -188, -184, -176, -160, -128, +0,
[t=191] +190, -188, -184, -176, -160, -128, +0,
[t=192] -192, +188, -184, -176, -160, -128, +0,
[t=193] +192, +188, -184, -176, -160, -128, +0,
[t=194] -194, -192, +184, -176, -160, -128, +0,
[t=195] +194, -192, +184, -176, -160, -128, +0,
[t=196] -196, +192, +184, -176, -160, -128, +0,
[t=197] +196, +192, +184, -176, -160, -128, +0,
[t=198] -198, -196, -192, +176, -160, -128, +0,
[t=199] +198, -196, -192, +176, -160, -128, +0,
[t=200] -200, +196, -192, +176, -160, -128, +0,
[t=201] +200, +196, -192, +176, -160, -128, +0,
[t=202] -202, -200, +192, +176, -160, -128, +0,
[t=203] +202, -200, +192, +176, -160, -128, +0,
[t=204] -204, +200, +192, +176, -160, -128, +0,
[t=205] +204, +200, +192, +176, -160, -128, +0,
[t=206] -206, -204, -200, -192, +160, -128, +0,
[t=207] +206, -204, -200, -192, +160, -128, +0,
[t=208] -208, +204, -200, -192, +160, -128, +0,
[t=209] +208, +204, -200, -192, +160, -128, +0,
[t=210] -210, -208, +200, -192, +160, -128, +0,
[t=211] +210, -208, +200, -192, +160, -128, +0,
[t=212] -212, +208, +200, -192, +160, -128, +0,
[t=213] +212, +208, +200, -192, +160, -128, +0,
[t=214] -214, -212, -208, +192, +160, -128, +0,
[t=215] +214, -212, -208, +192, +160, -128, +0,
[t=216] -216, +212, -208, +192, +160, -128, +0,
[t=217] +216, +212, -208, +192, +160, -128, +0,
[t=218] -218, -216, +208, +192, +160, -128, +0,
[t=219] +218, -216, +208, +192, +160, -128, +0,
[t=220] -220, +216, +208, +192, +160, -128, +0,
[t=221] +220, +216, +208, +192, +160, -128, +0,
[t=222] -222, -220, -216, -208, -192, +128, +0,
[t=223] +222, -220, -216, -208, -192, +128, +0,
[t=224] -224, +220, -216, -208, -192, +128, +0,
[t=225] +224, +220, -216, -208, -192, +128, +0,
[t=226] -226, -224, +216, -208, -192, +128, +0,
[t=227] +226, -224, +216, -208, -192, +128, +0,
[t=228] -228, +224, +216, -208, -192, +128, +0,
[t=229] +228, +224, +216, -208, -192, +128, +0,
[t=230] -230, -228, -224, +208, -192, +128, +0,
[t=231] +230, -228, -224, +208, -192, +128, +0,
[t=232] -232, +228, -224, +208, -192, +128, +0,
[t=233] +232, +228, -224, +208, -192, +128, +0,
[t=234] -234, -232, +224, +208, -192, +128, +0,
[t=235] +234, -232, +224, +208, -192, +128, +0,
[t=236] -236, +232, +224, +208, -192, +128, +0,
[t=237] +236, +232, +224, +208, -192, +128, +0,
[t=238] -238, -236, -232, -224, +192, +128, +0,
[t=239] +238, -236, -232, -224, +192, +128, +0,
[t=240] -240, +236, -232, -224, +192, +128, +0,
[t=241] +240, +236, -232, -224, +192, +128, +0,
[t=242] -242, -240, +232, -224, +192, +128, +0,
[t=243] +242, -240, +232, -224, +192, +128, +0,
[t=244] -244, +240, +232, -224, +192, +128, +0,
[t=245] +244, +240, +232, -224, +192, +128, +0,
[t=246] -246, -244, -240, +224, +192, +128, +0,
[t=247] +246, -244, -240, +224, +192, +128, +0,
[t=248] -248, +244, -240, +224, +192, +128, +0,
[t=249] +248, +244, -240, +224, +192, +128, +0,
[t=250] -250, -248, +240, +224, +192, +128, +0,
[t=251] +250, -248, +240, +224, +192, +128, +0,
[t=252] -252, +248, +240, +224, +192, +128, +0,
[t=253] +252, +248, +240, +224, +192, +128, +0,
[t=254] -254, -252, -248, -240, -224, -192, -128, -0,
[t=255] +254, -252, -248, -240, -224, -192, -128, -0,
[t=256] -256, +252, -248, -240, -224, -192, -128, -0,
[t=257] +256, +252, -248, -240, -224, -192, -128, -0,
[t=258] -258, -256, +248, -240, -224, -192, -128, -0,
[t=259] +258, -256, +248, -240, -224, -192, -128, -0,
[t=260] -260, +256, +248, -240, -224, -192, -128, -0,
[t=261] +260, +256, +248, -240, -224, -192, -128, -0,
[t=262] -262, -260, -256, +240, -224, -192, -128, -0,
[t=263] +262, -260, -256, +240, -224, -192, -128, -0,
[t=264] -264, +260, -256, +240, -224, -192, -128, -0,
[t=265] +264, +260, -256, +240, -224, -192, -128, -0,
[t=266] -266, -264, +256, +240, -224, -192, -128, -0,
[t=267] +266, -264, +256, +240, -224, -192, -128, -0,
[t=268] -268, +264, +256, +240, -224, -192, -128, -0,
[t=269] +268, +264, +256, +240, -224, -192, -128, -0,
[t=270] -270, -268, -264, -256, +224, -192, -128, -0,
[t=271] +270, -268, -264, -256, +224, -192, -128, -0,
[t=272] -272, +268, -264, -256, +224, -192, -128, -0,
[t=273] +272, +268, -264, -256, +224, -192, -128, -0,
[t=274] -274, -272, +264, -256, +224, -192, -128, -0,
[t=275] +274, -272, +264, -256, +224, -192, -128, -0,
[t=276] -276, +272, +264, -256, +224, -192, -128, -0,
[t=277] +276, +272, +264, -256, +224, -192, -128, -0,
[t=278] -278, -276, -272, +256, +224, -192, -128, -0,
[t=279] +278, -276, -272, +256, +224, -192, -128, -0,
[t=280] -280, +276, -272, +256, +224, -192, -128, -0,
[t=281] +280, +276, -272, +256, +224, -192, -128, -0,
[t=282] -282, -280, +272, +256, +224, -192, -128, -0,
[t=283] +282, -280, +272, +256, +224, -192, -128, -0,
[t=284] -284, +280, +272, +256, +224, -192, -128, -0,
[t=285] +284, +280, +272, +256, +224, -192, -128, -0,
[t=286] -286, -284, -280, -272, -256, +192, -128, -0,
[t=287] +286, -284, -280, -272, -256, +192, -128, -0,
[t=288] -288, +284, -280, -272, -256, +192, -128, -0,
[t=289] +288, +284, -280, -272, -256, +192, -128, -0,
[t=290] -290, -288, +280, -272, -256, +192, -128, -0,
[t=291] +290, -288, +280, -272, -256, +192, -128, -0,
[t=292] -292, +288, +280, -272, -256, +192, -128, -0,
[t=293] +292, +288, +280, -272, -256, +192, -128, -0,
[t=294] -294, -292, -288, +272, -256, +192, -128, -0,
[t=295] +294, -292, -288, +272, -256, +192, -128, -0,
[t=296] -296, +292, -288, +272, -256, +192, -128, -0,
[t=297] +296, +292, -288, +272, -256, +192, -128, -0,
[t=298] -298, -296, +288, +272, -256, +192, -128, -0,
[t=299] +298, -296, +288, +272, -256, +192, -128, -0,
[t=300] -300, +296, +288, +272, -256, +192, -128, -0,
[t=301] +300, +296, +288, +272, -256, +192, -128, -0,
[t=302] -302, -300, -296, -288, +256, +192, -128, -0,
[t=303] +302, -300, -296, -288, +256, +192, -128, -0,
[t=304] -304, +300, -296, -288, +256, +192, -128, -0,
[t=305] +304, +300, -296, -288, +256, +192, -128, -0,
[t=306] -306, -304, +296, -288, +256, +192, -128, -0,
[t=307] +306, -304, +296, -288, +256, +192, -128, -0,
[t=308] -308, +304, +296, -288, +256, +192, -128, -0,
[t=309] +308, +304, +296, -288, +256, +192, -128, -0,
[t=310] -310, -308, -304, +288, +256, +192, -128, -0,
[t=311] +310, -308, -304, +288, +256, +192, -128, -0,
[t=312] -312, +308, -304, +288, +256, +192, -128, -0,
[t=313] +312, +308, -304, +288, +256, +192, -128, -0,
[t=314] -314, -312, +304, +288, +256, +192, -128, -0,
[t=315] +314, -312, +304, +288, +256, +192, -128, -0,
[t=316] -316, +312, +304, +288, +256, +192, -128, -0,
[t=317] +316, +312, +304, +288, +256, +192, -128, -0,
[t=318] -318, -316, -312, -304, -288, -256, +128, -0,
[t=319] +318, -316, -312, -304, -288, -256, +128, -0,
[t=320] -320, +316, -312, -304, -288, -256, +128, -0,
[t=321] +320, +316, -312, -304, -288, -256, +128, -0,
[t=322] -322, -320, +312, -304, -288, -256, +128, -0,
[t=323] +322, -320, +312, -304, -288, -256, +128, -0,
[t=324] -324, +320, +312, -304, -288, -256, +128, -0,
[t=325] +324, +320, +312, -304, -288, -256, +128, -0,
[t=326] -326, -324, -320, +304, -288, -256, +128, -0,
[t=327] +326, -324, -320, +304, -288, -256, +128, -0,
[t=328] -328, +324, -320, +304, -288, -256, +128, -0,
[t=329] +328, +324, -320, +304, -288, -256, +128, -0,
[t=330] -330, -328, +320, +304, -288, -256, +128, -0,
[t=331] +330, -328, +320, +304, -288, -256, +128, -0,
[t=332] -332, +328, +320, +304, -288, -256, +128, -0,
[t=333] +332, +328, +320, +304, -288, -256, +128, -0,
[t=334] -334, -332, -328, -320, +288, -256, +128, -0,
[t=335] +334, -332, -328, -320, +288, -256, +128, -0,
[t=336] -336, +332, -328, -320, +288, -256, +128, -0,
[t=337] +336, +332, -328, -320, +288, -256, +128, -0,
[t=338] -338, -336, +328, -320, +288, -256, +128, -0,
[t=339] +338, -336, +328, -320, +288, -256, +128, -0,
[t=340] -340, +336, +328, -320, +288, -256, +128, -0,
[t=341] +340, +336, +328, -320, +288, -256, +128, -0,
[t=342] -342, -340, -336, +320, +288, -256, +128, -0,
[t=343] +342, -340, -336, +320, +288, -256, +128, -0,
[t=344] -344, +340, -336, +320, +288, -256, +128, -0,
[t=345] +344, +340, -336, +320, +288, -256, +128, -0,
[t=346] -346, -344, +336, +320, +288, -256, +128, -0,
[t=347] +346, -344, +336, +320, +288, -256, +128, -0,
[t=348] -348, +344, +336, +320, +288, -256, +128, -0,
[t=349] +348, +344, +336, +320, +288, -256, +128, -0,
[t=350] -350, -348, -344, -336, -320, +256, +128, -0,
[t=351] +350, -348, -344, -336, -320, +256, +128, -0,
[t=352] -352, +348, -344, -336, -320, +256, +128, -0,
[t=353] +352, +348, -344, -336, -320, +256, +128, -0,
[t=354] -354, -352, +344, -336, -320, +256, +128, -0,
[t=355] +354, -352, +344, -336, -320, +256, +128, -0,
[t=356] -356, +352, +344, -336, -320, +256, +128, -0,
[t=357] +356, +352, +344, -336, -320, +256, +128, -0,
[t=358] -358, -356, -352, +336, -320, +256, +128, -0,
[t=359] +358, -356, -352, +336, -320, +256, +128, -0,
[t=360] -360, +356, -352, +336, -320, +256, +128, -0,
[t=361] +360, +356, -352, +336, -320, +256, +128, -0,
[t=362] -362, -360, +352, +336, -320, +256, +128, -0,
[t=363] +362, -360, +352, +336, -320, +256, +128, -0,
[t=364] -364, +360, +352, +336, -320, +256, +128, -0,
[t=365] +364, +360, +352, +336, -320, +256, +128, -0,
[t=366] -366, -364, -360, -352, +320, +256, +128, -0,
[t=367] +366, -364, -360, -352, +320, +256, +128, -0,
[t=368] -368, +364, -360, -352, +320, +256, +128, -0,
[t=369] +368, +364, -360, -352, +320, +256, +128, -0,
[t=370] -370, -368, +360, -352, +320, +256, +128, -0,
[t=371] +370, -368, +360, -352, +320, +256, +128, -0,
[t=372] -372, +368, +360, -352, +320, +256, +128, -0,
[t=373] +372, +368, +360, -352, +320, +256, +128, -0,
[t=374] -374, -372, -368, +352, +320, +256, +128, -0,
[t=375] +374, -372, -368, +352, +320, +256, +128, -0,
[t=376] -376, +372, -368, +352, +320, +256, +128, -0,
[t=377] +376, +372, -368, +352, +320, +256, +128, -0,
[t=378] -378, -376, +368, +352, +320, +256, +128, -0,
[t=379] +378, -376, +368, +352, +320, +256, +128, -0,
[t=380] -380, +376, +368, +352, +320, +256, +128, -0,
[t=381] +380, +376, +368, +352, +320, +256, +128, -0,
[t=382] -382, -380, -376, -368, -352, -320, -256, +0,
[t=383] +382, -380, -376, -368, -352, -320, -256, +0,
[t=384] -384, +380, -376, -368, -352, -320, -256, +0,
[t=385] +384, +380, -376, -368, -352, -320, -256, +0,
[t=386] -386, -384, +376, -368, -352, -320, -256, +0,
[t=387] +386, -384, +376, -368, -352, -320, -256, +0,
[t=388] -388, +384, +376, -368, -352, -320, -256, +0,
[t=389] +388, +384, +376, -368, -352, -320, -256, +0,
[t=390] -390, -388, -384, +368, -352, -320, -256, +0,
[t=391] +390, -388, -384, +368, -352, -320, -256, +0,
[t=392] -392, +388, -384, +368, -352, -320, -256, +0,
[t=393] +392, +388, -384, +368, -352, -320, -256, +0,
[t=394] -394, -392, +384, +368, -352, -320, -256, +0,
[t=395] +394, -392, +384, +368, -352, -320, -256, +0,
[t=396] -396, +392, +384, +368, -352, -320, -256, +0,
[t=397] +396, +392, +384, +368, -352, -320, -256, +0,
[t=398] -398, -396, -392, -384, +352, -320, -256, +0,
[t=399] +398, -396, -392, -384, +352, -320, -256, +0,
[t=400] -400, +396, -392, -384, +352, -320, -256, +0,
[t=401] +400, +396, -392, -384, +352, -320, -256, +0,
[t=402] -402, -400, +392, -384, +352, -320, -256, +0,
[t=403] +402, -400, +392, -384, +352, -320, -256, +0,
[t=404] -404, +400, +392, -384, +352, -320, -256, +0,
[t=405] +404, +400, +392, -384, +352, -320, -256, +0,
[t=406] -406, -404, -400, +384, +352, -320, -256, +0,
[t=407] +406, -404, -400, +384, +352, -320, -256, +0,
[t=408] -408, +404, -400, +384, +352, -320, -256, +0,
[t=409] +408, +404, -400, +384, +352, -320, -256, +0,
[t=410] -410, -408, +400, +384, +352, -320, -256, +0,
[t=411] +410, -408, +400, +384, +352, -320, -256, +0,
[t=412] -412, +408, +400, +384, +352, -320, -256, +0,
[t=413] +412, +408, +400, +384, +352, -320, -256, +0,
[t=414] -414, -412, -408, -400, -384, +320, -256, +0,
[t=415] +414, -412, -408, -400, -384, +320, -256, +0,
[t=416] -416, +412, -408, -400, -384, +320, -256, +0,
[t=417] +416, +412, -408, -400, -384, +320, -256, +0,
[t=418] -418, -416, +408, -400, -384, +320, -256, +0,
[t=419] +418, -416, +408, -400, -384, +320, -256, +0,
[t=420] -420, +416, +408, -400, -384, +320, -256, +0,
[t=421] +420, +416, +408, -400, -384, +320, -256, +0,
[t=422] -422, -420, -416, +400, -384, +320, -256, +0,
[t=423] +422, -420, -416, +400, -384, +320, -256, +0,
[t=424] -424, +420, -416, +400, -384, +320, -256, +0,
[t=425] +424, +420, -416, +400, -384, +320, -256, +0,
[t=426] -426, -424, +416, +400, -384, +320, -256, +0,
[t=427] +426, -424, +416, +400, -384, +320, -256, +0,
[t=428] -428, +424, +416, +400, -384, +320, -256, +0,
[t=429] +428, +424, +416, +400, -384, +320, -256, +0,
[t=430] -430, -428, -424, -416, +384, +320, -256, +0,
[t=431] +430, -428, -424, -416, +384, +320, -256, +0,
[t=432] -432, +428, -424, -416, +384, +320, -256, +0,
[t=433] +432, +428, -424, -416, +384, +320, -256, +0,
[t=434] -434, -432, +424, -416, +384, +320, -256, +0,
[t=435] +434, -432, +424, -416, +384, +320, -256, +0,
[t=436] -436, +432, +424, -416, +384, +320, -256, +0,
[t=437] +436, +432, +424, -416, +384, +320, -256, +0,
[t=438] -438, -436, -432, +416, +384, +320, -256, +0,
[t=439] +438, -436, -432, +416, +384, +320, -256, +0,
[t=440] -440, +436, -432, +416, +384, +320, -256, +0,
[t=441] +440, +436, -432, +416, +384, +320, -256, +0,
[t=442] -442, -440, +432, +416, +384, +320, -256, +0,
[t=443] +442, -440, +432, +416, +384, +320, -256, +0,
[t=444] -444, +440, +432, +416, +384, +320, -256, +0,
[t=445] +444, +440, +432, +416, +384, +320, -256, +0,
[t=446] -446, -444, -440, -432, -416, -384, +256, +0,
[t=447] +446, -444, -440, -432, -416, -384, +256, +0,
[t=448] -448, +444, -440, -432, -416, -384, +256, +0,
[t=449] +448, +444, -440, -432, -416, -384, +256, +0,
[t=450] -450, -448, +440, -432, -416, -384, +256, +0,
[t=451] +450, -448, +440, -432, -416, -384, +256, +0,
[t=452] -452, +448, +440, -432, -416, -384, +256, +0,
[t=453] +452, +448, +440, -432, -416, -384, +256, +0,
[t=454] -454, -452, -448, +432, -416, -384, +256, +0,
[t=455] +454, -452, -448, +432, -416, -384, +256, +0,
[t=456] -456, +452, -448, +432, -416, -384, +256, +0,
[t=457] +456, +452, -448, +432, -416, -384, +256, +0,
[t=458] -458, -456, +448, +432, -416, -384, +256, +0,
[t=459] +458, -456, +448, +432, -416, -384, +256, +0,
[t=460] -460, +456, +448, +432, -416, -384, +256, +0,
[t=461] +460, +456, +448, +432, -416, -384, +256, +0,
[t=462] -462, -460, -456, -448, +416, -384, +256, +0,
[t=463] +462, -460, -456, -448, +416, -384, +256, +0,
[t=464] -464, +460, -456, -448, +416, -384, +256, +0,
[t=465] +464, +460, -456, -448, +416, -384, +256, +0,
[t=466] -466, -464, +456, -448, +416, -384, +256, +0,
[t=467] +466, -464, +456, -448, +416, -384, +256, +0,
[t=468] -468, +464, +456, -448, +416, -384, +256, +0,
[t=469] +468, +464, +456, -448, +416, -384, +256, +0,
[t=470] -470, -468, -464, +448, +416, -384, +256, +0,
[t=471] +470, -468, -464, +448, +416, -384, +256, +0,
[t=472] -472, +468, -464, +448, +416, -384, +256, +0,
[t=473] +472, +468, -464, +448, +416, -384, +256, +0,
[t=474] -474, -472, +464, +448, +416, -384, +256, +0,
[t=475] +474, -472, +464, +448, +416, -384, +256, +0,
[t=476] -476, +472, +464, +448, +416, -384, +256, +0,
[t=477] +476, +472, +464, +448, +416, -384, +256, +0,
[t=478] -478, -476, -472, -464, -448, +384, +256, +0,
[t=479] +478, -476, -472, -464, -448, +384, +256, +0,
[t=480] -480, +476, -472, -464, -448, +384, +256, +0,
[t=481] +480, +476, -472, -464, -448, +384, +256, +0,
[t=482] -482, -480, +472, -464, -448, +384, +256, +0,
[t=483] +482, -480, +472, -464, -448, +384, +256, +0,
[t=484] -484, +480, +472, -464, -448, +384, +256, +0,
[t=485] +484, +480, +472, -464, -448, +384, +256, +0,
[t=486] -486, -484, -480, +464, -448, +384, +256, +0,
[t=487] +486, -484, -480, +464, -448, +384, +256, +0,
[t=488] -488, +484, -480, +464, -448, +384, +256, +0,
[t=489] +488, +484, -480, +464, -448, +384, +256, +0,
[t=490] -490, -488, +480, +464, -448, +384, +256, +0,
[t=491] +490, -488, +480, +464, -448, +384, +256, +0,
[t=492] -492, +488, +480, +464, -448, +384, +256, +0,
[t=493] +492, +488, +480, +464, -448, +384, +256, +0,
[t=494] -494, -492, -488, -480, +448, +384, +256, +0,
[t=495] +494, -492, -488, -480, +448, +384, +256, +0,
[t=496] -496, +492, -488, -480, +448, +384, +256, +0,
[t=497] +496, +492, -488, -480, +448, +384, +256, +0,
[t=498] -498, -496, +488, -480, +448, +384, +256, +0,
[t=499] +498, -496, +488, -480, +448, +384, +256, +0,
[t=500] -500, +496, +488, -480, +448, +384, +256, +0,
[t=501] +500, +496, +488, -480, +448, +384, +256, +0,
[t=502] -502, -500, -496, +480, +448, +384, +256, +0,
[t=503] +502, -500, -496, +480, +448, +384, +256, +0,
[t=504] -504, +500, -496, +480, +448, +384, +256, +0,
[t=505] +504, +500, -496, +480, +448, +384, +256, +0,
[t=506] -506, -504, +496, +480, +448, +384, +256, +0,
[t=507] +506, -504, +496, +480, +448, +384, +256, +0,
[t=508] -508, +504, +496, +480, +448, +384, +256, +0,
[t=509] +508, +504, +496, +480, +448, +384, +256, +0,
[t=510] -510, -508, -504, -496, -480, -448, -384, -256, -0,
[t=511] +510, -508, -504, -496, -480, -448, -384, -256, -0,
[t=512] -512, +508, -504, -496, -480, -448, -384, -256, -0,
[t=513] +512, +508, -504, -496, -480, -448, -384, -256, -0,
[t=514] -514, -512, +504, -496, -480, -448, -384, -256, -0,
[t=515] +514, -512, +504, -496, -480, -448, -384, -256, -0,
[t=516] -516, +512, +504, -496, -480, -448, -384, -256, -0,
[t=517] +516, +512, +504, -496, -480, -448, -384, -256, -0,
[t=518] -518, -516, -512, +496, -480, -448, -384, -256, -0,
[t=519] +518, -516, -512, +496, -480, -448, -384, -256, -0,
[t=520] -520, +516, -512, +496, -480, -448, -384, -256, -0,
[t=521] +520, +516, -512, +496, -480, -448, -384, -256, -0,
[t=522] -522, -520, +512, +496, -480, -448, -384, -256, -0,
[t=523] +522, -520, +512, +496, -480, -448, -384, -256, -0,
[t=524] -524, +520, +512, +496, -480, -448, -384, -256, -0,
[t=525] +524, +520, +512, +496, -480, -448, -384, -256, -0,
[t=526] -526, -524, -520, -512, +480, -448, -384, -256, -0,
[t=527] +526, -524, -520, -512, +480, -448, -384, -256, -0,
[t=528] -528, +524, -520, -512, +480, -448, -384, -256, -0,
[t=529] +528, +524, -520, -512, +480, -448, -384, -256, -0,
[t=530] -530, -528, +520, -512, +480, -448, -384, -256, -0,
[t=531] +530, -528, +520, -512, +480, -448, -384, -256, -0,
[t=532] -532, +528, +520, -512, +480, -448, -384, -256, -0,
[t=533] +532, +528, +520, -512, +480, -448, -384, -256, -0,
[t=534] -534, -532, -528, +512, +480, -448, -384, -256, -0,
[t=535] +534, -532, -528, +512, +480, -448, -384, -256, -0,
[t=536] -536, +532, -528, +512, +480, -448, -384, -256, -0,
[t=537] +536, +532, -528, +512, +480, -448, -384, -256, -0,
[t=538] -538, -536, +528, +512, +480, -448, -384, -256, -0,
[t=539] +538, -536, +528, +512, +480, -448, -384, -256, -0,
[t=540] -540, +536, +528, +512, +480, -448, -384, -256, -0,
[t=541] +540, +536, +528, +512, +480, -448, -384, -256, -0,
[t=542] -542, -540, -536, -528, -512, +448, -384, -256, -0,
[t=543] +542, -540, -536, -528, -512, +448, -384, -256, -0,
[t=544] -544, +540, -536, -528, -512, +448, -384, -256, -0,
[t=545] +544, +540, -536, -528, -512, +448, -384, -256, -0,
[t=546] -546, -544, +536, -528, -512, +448, -384, -256, -0,
[t=547] +546, -544, +536, -528, -512, +448, -384, -256, -0,
[t=548] -548, +544, +536, -528, -512, +448, -384, -256, -0,
[t=549] +548, +544, +536, -528, -512, +448, -384, -256, -0,
[t=550] -550, -548, -544, +528, -512, +448, -384, -256, -0,
[t=551] +550, -548, -544, +528, -512, +448, -384, -256, -0,
[t=552] -552, +548, -544, +528, -512, +448, -384, -256, -0,
[t=553] +552, +548, -544, +528, -512, +448, -384, -256, -0,
[t=554] -554, -552, +544, +528, -512, +448, -384, -256, -0,
[t=555] +554, -552, +544, +528, -512, +448, -384, -256, -0,
[t=556] -556, +552, +544, +528, -512, +448, -384, -256, -0,
[t=557] +556, +552, +544, +528, -512, +448, -384, -256, -0,
[t=558] -558, -556, -552, -544, +512, +448, -384, -256, -0,
[t=559] +558, -556, -552, -544, +512, +448, -384, -256, -0,
[t=560] -560, +556, -552, -544, +512, +448, -384, -256, -0,
[t=561] +560, +556, -552, -544, +512, +448, -384, -256, -0,
[t=562] -562, -560, +552, -544, +512, +448, -384, -256, -0,
[t=563] +562, -560, +552, -544, +512, +448, -384, -256, -0,
[t=564] -564, +560, +552, -544, +512, +448, -384, -256, -0,
[t=565] +564, +560, +552, -544, +512, +448, -384, -256, -0,
[t=566] -566, -564, -560, +544, +512, +448, -384, -256, -0,
[t=567] +566, -564, -560, +544, +512, +448, -384, -256, -0,
[t=568] -568, +564, -560, +544, +512, +448, -384, -256, -0,
[t=569] +568, +564, -560, +544, +512, +448, -384, -256, -0,
[t=570] -570, -568, +560, +544, +512, +448, -384, -256, -0,
[t=571] +570, -568, +560, +544, +512, +448, -384, -256, -0,
[t=572] -572, +568, +560, +544, +512, +448, -384, -256, -0,
[t=573] +572, +568, +560, +544, +512, +448, -384, -256, -0,
[t=574] -574, -572, -568, -560, -544, -512, +384, -256, -0,
[t=575] +574, -572, -568, -560, -544, -512, +384, -256, -0,
[t=576] -576, +572, -568, -560, -544, -512, +384, -256, -0,
[t=577] +576, +572, -568, -560, -544, -512, +384, -256, -0,
[t=578] -578, -576, +568, -560, -544, -512, +384, -256, -0,
[t=579] +578, -576, +568, -560, -544, -512, +384, -256, -0,
[t=580] -580, +576, +568, -560, -544, -512, +384, -256, -0,
[t=561] +560, -544, -512, +384, -256, -0,
[t=562] -562, -560, -544, -512, +384, -256, -0,
[t=563] +562, -560, -544, -512, +384, -256, -0,
[t=564] -564, +560, -544, -512, +384, -256, -0,
[t=565] +564, +560, -544, -512, +384, -256, -0,
[t=566] -566, -564, -560, -544, -512, +384, -256, -0,
[t=567] +566, -564, -560, -544, -512, +384, -256, -0,
[t=568] -568, +564, -560, -544, -512, +384, -256, -0,
[t=569] +568, +564, -560, -544, -512, +384, -256, -0,
[t=570] -570, -568, +560, -544, -512, +384, -256, -0,
[t=513] +544, -512, +384, -256, -0,
[t=514] -514, -544, -512, +384, -256, -0,
[t=515] +514, -544, -512, +384, -256, -0,
[t=516] -516, +544, -512, +384, -256, -0,
[t=517] +516, +544, -512, +384, -256, -0,
[t=518] -518, -516, -544, -512, +384, -256, -0,
[t=519] +518, -516, -544, -512, +384, -256, -0,
[t=520] -520, +516, -544, -512, +384, -256, -0,
[t=521] +520, +516, -544, -512, +384, -256, -0,
[t=522] -522, -520, +544, -512, +384, -256, -0,
[t=523] +522, -520, +544, -512, +384, -256, -0,
[t=524] -524, +520, +544, -512, +384, -256, -0,
[t=525] +524, +520, +544, -512, +384, -256, -0,
[t=526] -526, -524, -520, -544, -512, +384, -256, -0,
[t=527] +526, -524, -520, -544, -512, +384, -256, -0,
[t=528] -528, +524, -520, -544, -512, +384, -256, -0,
[t=529] +528, +524, -520, -544, -512, +384, -256, -0,
[t=530] -530, -528, +520, -544, -512, +384, -256, -0,
[t=531] +530, -528, +520, -544, -512, +384, -256, -0,
[t=532] -532, +528, +520, -544, -512, +384, -256, -0,
[t=533] +532, +528, +520, -544, -512, +384, -256, -0,
[t=534] -534, -532, -528, +544, -512, +384, -256, -0,
[t=535] +534, -532, -528, +544, -512, +384, -256, -0,
[t=536] -536, +532, -528, +544, -512, +384, -256, -0,
[t=537] +536, +532, -528, +544, -512, +384, -256, -0,
[t=538] -538, -536, +528, +544, -512, +384, -256, -0,
[t=539] +538, -536, +528, +544, -512, +384, -256, -0,
[t=540] -540, +536, +528, +544, -512, +384, -256, -0,
[t=541] +540, +536, +528, +544, -512, +384, -256, -0,
[t=542] -542, -540, -536, -528, -544, -512, +384, -256, -0,
[t=543] +542, -540, -536, -528, -544, -512, +384, -256, -0,
[t=544] -544, +540, -536, -528, -544, -512, +384, -256, -0,
[t=545] +544, +540, -536, -528, -544, -512, +384, -256, -0,
[t=546] -546, -544, +536, -528, -544, -512, +384, -256, -0,
[t=547] +546, -544, +536, -528, -544, -512, +384, -256, -0,
[t=548] -548, +544, +536, -528, -544, -512, +384, -256, -0,
[t=549] +548, +544, +536, -528, -544, -512, +384, -256, -0,
[t=550] -550, -548, -544, +528, -544, -512, +384, -256, -0,
[t=551] +550, -548, -544, +528, -544, -512, +384, -256, -0,
[t=552] -552, +548, -544, +528, -544, -512, +384, -256, -0,
[t=553] +552, +548, -544, +528, -544, -512, +384, -256, -0,
[t=554] -554, -552, +544, +528, -544, -512, +384, -256, -0,
[t=555] +554, -552, +544, +528, -544, -512, +384, -256, -0,
[t=556] -556, +552, +544, +528, -544, -512, +384, -256, -0,
[t=557] +556, +552, +544, +528, -544, -512, +384, -256, -0,
[t=558] -558, -556, -552, -544, +544, -512, +384, -256, -0,
[t=559] +558, -556, -552, -544, +544, -512, +384, -256, -0,
[t=560] -560, +556, -552, -544, +544, -512, +384, -256, -0,
[t=561] +560, +556, -552, -544, +544, -512, +384, -256, -0,
[t=562] -562, -560, +552, -544, +544, -512, +384, -256, -0,
[t=563] +562, -560, +552, -544, +544, -512, +384, -256, -0,
[t=564] -564, +560, +552, -544, +544, -512, +384, -256, -0,
[t=565] +564, +560, +552, -544, +544, -512, +384, -256, -0,
[t=566] -566, -564, -560, +544, +544, -512, +384, -256, -0,
[t=567] +566, -564, -560, +544, +544, -512, +384, -256, -0,
[t=568] -568, +564, -560, +544, +544, -512, +384, -256, -0,
[t=569] +568, +564, -560, +544, +544, -512, +384, -256, -0,
[t=570] -570, -568, +560, +544, +544, -512, +384, -256, -0,
[t=571] +570, -568, +560, +544, +544, -512, +384, -256, -0,
[t=572] -572, +568, +560, +544, +544, -512, +384, -256, -0,
[t=573] +572, +568, +560, +544, +544, -512, +384, -256, -0,
[t=574] -574, -572, -568, -560, -544, +512, +384, -256, -0,
[t=575] +574, -572, -568, -560, -544, +512, +384, -256, -0,
[t=576] -576, +572, -568, -560, -544, +512, +384, -256, -0,
[t=577] +576, +572, -568, -560, -544, +512, +384, -256, -0,
[t=578] -578, -576, +568, -560, -544, +512, +384, -256, -0,
[t=579] +578, -576, +568, -560, -544, +512, +384, -256, -0,
[t=580] -580, +576, +568, -560, -544, +512, +384, -256, -0,
[t=581] +580, +576, +568, -560, -544, +512, +384, -256, -0,
[t=582] -582, -580, -576, +560, -544, +512, +384, -256, -0,
[t=583] +582, -580, -576, +560, -544, +512, +384, -256, -0,
[t=584] -584, +580, -576, +560, -544, +512, +384, -256, -0,
[t=585] +584, +580, -576, +560, -544, +512, +384, -256, -0,
[t=586] -586, -584, +576, +560, -544, +512, +384, -256, -0,
[t=587] +586, -584, +576, +560, -544, +512, +384, -256, -0,
[t=588] -588, +584, +576, +560, -544, +512, +384, -256, -0,
[t=589] +588, +584, +576, +560, -544, +512, +384, -256, -0,
[t=590] -590, -588, -584, -576, +544, +512, +384, -256, -0,
[t=591] +590, -588, -584, -576, +544, +512, +384, -256, -0,
[t=592] -592, +588, -584, -576, +544, +512, +384, -256, -0,
[t=593] +592, +588, -584, -576, +544, +512, +384, -256, -0,
[t=594] -594, -592, +584, -576, +544, +512, +384, -256, -0,
[t=595] +594, -592, +584, -576, +544, +512, +384, -256, -0,
[t=596] -596, +592, +584, -576, +544, +512, +384, -256, -0,
[t=597] +596, +592, +584, -576, +544, +512, +384, -256, -0,
[t=598] -598, -596, -592, +576, +544, +512, +384, -256, -0,
[t=599] +598, -596, -592, +576, +544, +512, +384, -256, -0,
[t=600] -600, +596, -592, +576, +544, +512, +384, -256, -0,

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment