"Blondel, Cassaigne and Nichitiu's K2: Unbounded, non-periodic"

ff(d1,fv2,fv1,fv0) <0 c1
ff(fv5,fv4,fv3,e) <3 d1
ff(e,fv8,fv7,fv6) <0 d1
ff(fv11,fv10,e,fv9) <2 d1
ff(fv14,e,fv13,fv12) <1 d1
ff(b1,fv17,fv16,fv15) <0 a1
ff(fv20,fv19,fv18,c) <3 b1
ff(c,fv23,fv22,fv21) <0 b1
ff(fv26,fv25,c,fv24) <2 b1
ff(fv29,c,fv28,fv27) <1 b1
ff(z,fv32,fv31,fv30) <0 y
ff(fv35,fv34,fv33,a) <3 z
ff(a,fv38,fv37,fv36) <0 z
ff(fv41,fv40,a,fv39) <2 z
ff(fv44,a,fv43,fv42) <1 z
ff(fv47,fv46,fv45,x) <3 w
ff(fv50,fv49,fv48,a) <3 x
ff(a,fv53,fv52,fv51) <0 x
ff(fv56,fv55,a,fv54) <2 x
ff(fv59,a,fv58,fv57) <1 x
ff(fv62,fv61,fv60,v) <3 u
ff(fv65,fv64,fv63,e) <3 v
ff(e,fv68,fv67,fv66) <0 v
ff(fv71,fv70,e,fv69) <2 v
ff(fv74,e,fv73,fv72) <1 v
ff(fv77,fv76,t,fv75) <2 s
ff(fv80,fv79,fv78,e) <3 t
ff(e,fv83,fv82,fv81) <0 t
ff(fv86,fv85,e,fv84) <2 t
ff(fv89,e,fv88,fv87) <1 t
ff(fv92,r,fv91,fv90) <1 q
ff(fv95,fv94,fv93,e) <3 r
ff(e,fv98,fv97,fv96) <0 r
ff(fv101,fv100,e,fv99) <2 r
ff(fv104,e,fv103,fv102) <1 r
ff(fv107,fv106,p,fv105) <2 o
ff(fv110,fv109,fv108,a) <3 p
ff(a,fv113,fv112,fv111) <0 p
ff(fv116,fv115,a,fv114) <2 p
ff(fv119,a,fv118,fv117) <1 p
ff(fv122,fv121,fv120,n) <3 m
ff(fv125,fv124,fv123,e) <3 n
ff(e,fv128,fv127,fv126) <0 n
ff(fv131,fv130,e,fv129) <2 n
ff(fv134,e,fv133,fv132) <1 n
ff(fv137,fv136,l,fv135) <2 k
ff(fv140,fv139,fv138,e) <3 l
ff(e,fv143,fv142,fv141) <0 l
ff(fv146,fv145,e,fv144) <2 l
ff(fv149,e,fv148,fv147) <1 l
ff(fv152,j,fv151,fv150) <1 i
ff(fv155,fv154,fv153,e) <3 j
ff(e,fv158,fv157,fv156) <0 j
ff(fv161,fv160,e,fv159) <2 j
ff(fv164,e,fv163,fv162) <1 j
ff(fv167,h,fv166,fv165) <1 g
ff(fv170,fv169,fv168,c) <3 h
ff(c,fv173,fv172,fv171) <0 h
ff(fv176,fv175,c,fv174) <2 h
ff(fv179,c,fv178,fv177) <1 h
ff(f,fv182,fv181,fv180) <3 c1
ff(f,fv185,fv184,fv183) <2 a1
ff(f,fv188,fv187,fv186) <1 b
ff(fv191,fv190,fv189,f) <0 b
ff(e,fv194,fv193,fv192) <3 f
ff(e,fv197,fv196,fv195) <2 d
ff(e,fv200,fv199,fv198) <1 y
ff(fv203,fv202,fv201,e) <0 w
ff(fv206,fv205,fv204,d) <3 u
ff(fv209,fv208,d,fv207) <2 s
ff(fv212,d,fv211,fv210) <1 q
ff(fv215,fv214,d,fv213) <0 b
ff(fv218,fv217,fv216,c) <3 f
ff(fv221,fv220,c,fv219) <2 f
ff(fv224,c,fv223,fv222) <1 f
ff(fv227,fv226,c,fv225) <0 o
ff(fv230,fv229,fv228,b) <3 m
ff(fv233,fv232,b,fv231) <2 k
ff(fv236,b,fv235,fv234) <1 i
ff(fv239,b,fv238,fv237) <0 g
ff(fv242,fv241,fv240,a) <3 f
ff(fv245,fv244,a,fv243) <2 f
ff(fv248,a,fv247,fv246) <1 f
ff(fv251,a,fv250,fv249) <0 d