SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info KK21 t / Finite_Automata_HF:threads=2elapsed=18.866cpu=31.752gc=1.196factor=1.687zXZִF! 7q]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'`?O6]_/:qYI-`H*F+lGݿ!A[@!'^P64PDh[<&蜗 Z(M@n~U2׮SyP]unDjgT wM9?΋iB&k$\~&\1OQayxJI gufW\5/8{ eX[iJ޳r#%3էԠq9$rja[T,f-el"%:L  /|~nXʃ}ckWTJOE{ǫxE;E'ɴj_Pj;.=aEXH$9;Y/&ܿ.D`ViϹ!'R6B7n>An%LfڤJnvFSjB'.[R`sp6S },G}W%kr\=CʲQf6Jhz1igX[SOբMRA*DgYZ7zXZִF! `F]ŗXi%6{BxNZ(@Hr3Ep-i 0=Ji;ūw o  { V{1Y7Wr⣑Lլ/s50b7=I:#Br~jT:IQAN7֎'1/}1.e(ڴnx J\[6%6vVgHC[aݘHR ^F`l4< <~kBJ= ǢK;|mt#zva[_ERcCmCkA"Y>,\rɰ)cOjEː}*JWNot 8?":H&?:>ke ؕI! %_L[\P0Jڳ(,^>.ݰ>Qpa )5\kMl}{g}u7$M3@AUYp"1"F &n<}|*J(J"dPxSv6@l昨~GsR۴]]cUubtwrљt:ˍ_Ԏ[!NJe}ԀL0Wi̖%^k{&r6uq-GrØ3QZC4g~ [S<"h+hӯt~ŷᚔvE0z]gf ?W <_5㻪:7R&psRZL* l 80zp)vL$z3RΨZ_K+_^2jK19K6bG(t >xm`8@.WOMF` E]$F3"ͤ/7aU =m4e/T7{ϿXXU|A 4"s[oA@T9tLXG.:uO0/+V}/-1}N@b@(bA!v-v&mz$J%ݹuݳӕJP !3I<kHA35 {t"LhJ GuByzµcv|D9-Fڅ6@qDγ((˥X΃C\nb ko`3جM\3JO.UpJ[Np#)k=bs3+@&N^!^d!gZK3􈒅>;'y'Z7) Ap`h0աrҒgQR8"ƞM8PS{ƴ%7U>`}!c ?obgaw fxtULbI!U-]ªUW{~̫!Qg3jSЏxџb"ƈY\_ଣ͠R( :4gYZ001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1 149e75e78eb69c3ef2fd680d4ca5d8abebe60c3e 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 6c37c082dea1c6f7ae4fea0e93182ffba959ff53 a46cdd814a4d4c5b4ccde5ae6e50ee3164407922 c79829f149d0d3c2d44b8fc84dd1023b9af1e4cb f9ad8b0e4dc237bddb1a7187abcb79226fec1f90f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 1 Finite_Automata_HF