SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 H1 L$ ]/ Finite_Automata_HF:threads=2elapsed=17.827cpu=29.008gc=1.052factor=1.637zXZִF! 4]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj' {ܱY9ns4xAJwFyS\^\6?Qtׁ+7T5px9g wÊEm{T"ִ:h)$^oC⨲XĽTifIjh.Fhp@FlZ;+yZª-$L>7>g)xqɲ %L@? C<._/W&SPFBY3=/? ij〷ɛ3NjpG qU7I3roo('ɍE_ L ❰KHR+m1܂\i-Npxâ ]FPγFptIT4./ZeȊRƙ0Z|=\'[2hd΁lVX {`) Fnc6yX34áTO]Я2 zƴu"(nᜱgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{ttoΉ2226k{!LAIli1|u= RnzޠA^n3&&[mN>"$~RUV'/жOsKgYZ7zXZִF! b]ŗXi%90øc!xk"йXĞBã;r~T r F=9`r?ڷy5uò4O<31a=^k@v~mXppbYN١ڰ YAkpoгH)3̂\Sjryb+{aVzޣʜp| DH|uCA4Z1RkFD(/ _yO3>Jd+2<.4V󊝍/ g 5qc2<헻!"c$0O ˛B'O=JFR{LRl>P@W=, Wғ+ٍF ALԂXb,lBf|"{O YoYVfhB7\QRUozp0tËLeF׹N̖5YIm踉Ϻۉy%J][86W|fLyHrc {6@bӟ|b8uM@Oj #Ҹu,M@W@ MH Gw6E8 ORbP_VD] ?z'PX`7p8p쀂%ebΨ[/ulJTt,0=}/}Y9c$e ӴpXx %KQRe;tO]`ÑaY'%bՄouS>,SfR<2d­mxqE_L7j+?!@&ʹ!LDr^^c훜=ں:P}v?-G&Nj= VTнP>2fv%~G |b|/-0Hf[b#+ ~ݏ2a#FpDKa zŢ.B]EN!~ Sba,8Vt[L8 XJXHE@žM.azJ^808ڝ_ڢ\Iw^Јק6 4;K\@}ñ-mP 3>8e6#cV֕VP7`4fZiL!ԭ jw# $AH6ǕRD<3x.8 ʅ [`!15l^-++R+He`y8 zii`k ,:h"Y\C,)ƁbwA[j=½"(tY.];ANܣ:&s)rHl,?8sފ~r,i巆HY'[M5?84_P|NM$:A珋9z;/T цUy˺~(hM\;Awɤ+Ofjhۣ }gYZ4f77e6fe7bcbc3e9f8fa16ab630fa4a5c0eed662ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 1 Finite_Automata_HF