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 --P1 t\ m]HereditarilyFinite:threads=2elapsed=14.031cpu=25.376gc=0.684factor=1.817zXZִF! k]ŗXf1-/6vRZ)/V~l_vdᷟGK?尺 [-=CU;"n*?II \j frsϫrK~oHK`)c*_1|yVOS_~bZCwM4,A? m=)D4q2^λԕ{SLyux0.}/zGyuƓn^]/ mrI@ih8yZ3r,~J*if؋;8zH\Am35g/0Y>K0n?Vd KM4Je-tJF*ѫlVNH)WHopYWDRdi |_xbDCօ9,x&((90_7[ LZH$r CJ~φ0u\;휹W+!qQoU0^ImAJ4_p1 v0}܁0$1E|afN#b9 ,ѨJ8h* %iw%?T>总 ǔV۳4 *DC8J~f&9  E{.; >!FAJYp;%(`Aб 'f88CIRy.Dl8FtzB3։)5 H/AR6v_cw?3",5Do/6&%k!S_N~Us|ފۮ$XJ(欘(7NNYitN59^PBJjj,qp +hQ"RP:HO#6"|ƻl?b<: Y% QG |h1M]Nk!?Зiry]ϗ(ufs΀=GLC)WqcJ5g{Н3PE !ܾ4{M'Ei5Mr YU1 ngA ><4^ߋi-BpGUDS(co`x0AůOy/GYcts~ij3EB7GUjJi\>&3c"Lg>"Z{'f>\cXVR7Yɺ >?^?'-@m;r)>Ӟʓ$HY|eZb2egMYF~ECkMyd@QcwT G˂q+WX68Ҁ`JFKnc1WZwOą>(* L#ML(X""^m\*her%P>PN01O?́kU$] 3GbcUa*5I~]|dl1Xa>eЗjC~mKXZBG4_& 02'k~mePF73v9r/Wxr1s_Ra { 68k}$ L1/XID"LX2 9t-n )ժ2f@ο합 -~Pț"9)Ȼy/0iJ>6d  ۙ}eZT}fE6.[fD8\N4mz+.bbRD-60Ud{*L 9 \/^U׳Dޖp0_NgYZ7zXZִF! O]ŗXi% i$LtMigk>G&[сP.&Prcdq)cix=:"0GroI|b,HڡL>1.FʅlufY,Ђ#VM"ۢjUMΧ%O9nj'nNnqpk6[𭒞eqOJo~s`Oofai00*U@ZmW^&չH%iMpzOGttU$0kɦä΂DM&YFfn0LE}7=P2ZȚ ʎvsf@-Ԓ^^yj! "%nd`i*֗PvgA=/65J%-i\_dkΒ6T68"!NeUhdIsIk=V51TosY'իg|AakzL!FeHĠLO޺yCb\ёME&wW-UasPс^_/tSF [Zg2%\9T1`*YL"&:Nv[%%dT3 =/&ya^UG+Q%tsJ< -W !t:=~T:B& ;;­c+ !fFbad'<ojc{a@-9Iu$tgvgTU>q7_ ?^J/緥;jsǪ۞ead'sr*r~Ub!Co*ڲ]a]KIZ :9wcad\,XVN7`D.KQBK"a* `JF0$S =gYZ001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1 12f77c17f595eedb9c71fc37f436f86ff7647a6c 3c5ac8e26f1721d8e10905b9ea177d85075bc738 6ef6bfcd3e21356d78d8377e82c11e1522283f67 a0d7a666e1ef01cff26fe69e59978baa40c126ac ab06ca086aee730a79dddc1d42c28d5bd6136449 c23aabb00636d95c777ddd7eb7518b377c4c9fcf df4a72d4c2ccdea476aa2a97ec6d075cba60850b e528a9016bf702bd31b17e02bb7f07c640ce8059728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c150a46f90a94f7debdcc91d6374fe0d5e3e778d8 1 HereditarilyFinite