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 p|Qy t|.yiB~-e{GHN i= ==Pa. ԵC/s .i`0B QIx_}ߚ^-2yq[ b,鄁s9a=W 2A |w Kd@b&p;uj*gL ewq#` gyr72tv%/7m7 GAkYQ1]#Nq߀BQށ py^fcPOeW$BYꝥ-p֧F[\YOZi|Œ{L27kyL6E\˴Tj*&e)]z Xb;O6a)kVP*R}[ S>^ڬytQǫV.^jf6Yc!ߍKf͌kRJσ~TN1bV$LWRXr;M{POQ %hGԟfx%j3 (* H]`Vֻh,n"Nȏ\DZdbx>rKnT #y * J70oUbw@xrC<ظPA0'(?USs,{8:$Lj)nRkՃP[6rNmyW8aUCԬ )BnXo'(|8*t̞nbyo QFt9GdTvɍX>|s+=HD0o6etmT;@q W:HOL D&R`ma_0NI0Y;2ĥ^x6VA}h B3b:⤓Og>@g0Zf#\ݭߓ v`4}>~ U_Zb9/W9jAGͭ'(:`TxkphTMWXN"TEPyR8*?x?͂ZGV^+5@(xOF`& d|pZ[(]H kjVwS7BQ*`]o%ĤoY'*LZ i)bd{l\1P8+XU-At"=sE,MyeщsB o'5Pוذ1,%:|N@F( 4jXG*zAJ\SC6$j0jw|Jc;[PiUbٸ5P~*&`.2OL;~ʕDEH|֋y'@[Ii$,jH-hz@&݄m߷|Z3XjMdg(406 @kٟ0x-$hEx`@m౼2z !6Ft-" 0f97mnx%oF<(;ddjtM=A >q# vAlV-u lyGűgYZ7zXZִF! ]ŗXiɟ1Dw7v%[yênU'؀w| u(Ng﬛-gnjh "!Wp! (ד;lak?FIiV;SRX^݇CA 7Y[vERHB.o{QLA)F$ LpBi8>IQa26ȗdltEYV%BHREd# ΅X~O m;]s1[7398jH5$GdK;jY~zƷ*FX8* #5=V %[kzWtM1&)ywHs'Od$~R+)%d$r/[ IEʪ.OUe j1oPV9ag\άyvP7/܇]Vȋp бgYZ7zXZִF! c]ŗXi%92F36rSfS=Ac>"si 'Yiۈ0pRV Pi_ϏF 'U_,& ZF{l)5he&A"n=,/RܤɦgAGOW򓊣* __ʬᇮ,U,7U(0[צ6{p̂;](;脹(f D~\Zi.R:(# ;ʼ~Yܝj^f0KQ +Bި*s X$a}5u:L J lݲsoZY';~HfX2#|Oоpųm~z`Ȭ&&Lt7Y(ׅ gLRQ[G]%0EX.x]EtZ|1 /%r`_w;L`-|Q4 *LJH'V}ifxCiIĆ^=iБ[HS q-F'Tm!sϲHdua&DߋiiOX.ЁbUB   HOL-Baliث?v n qd 2|M~ .0a?VEITq4^lHLHI{Z3+Q_= POE1pu` h9 qʚ4BB:JRbenJ6q̈SNfԷO/^ (vPf=>?.{Fm CFz4iܟG_z5לDD4 iڛ_uIAYk/0X]?kR A\T s !_9S¨/ 27õRs>$>IRl˝!ZXa˲Ȯo5CCӿu/gX7NBnӚ;H\PXk?^84iBMβrּTUxiW ݂іǣJS=R.3i0B0էZČ{bz(I?FAJlsw=v걜+A.b+}f%yo_g뀄6s%a@o/ց)<aYl1A;9:qcLL7<=ry!^_9 SߔCi"iBjS[HhXɆ\;+sN\bk/hfh&y {J2{{f/b1ņut ȖE_x%Ks:Q@'3p3/\'N!Db(܍턧hRcр?.7Eiyؚ=#PS}סּcE=\# Y2LGvچLK075~gxysݚ2kw=RGe۬tMkGCM1]ȍ U˜|pҽ}5%N[hHZv AI4.+&OqC=YVOxgzI:`f2 )˯KuZ13p:Wy=X CXԛ=Fi -m9zӳdUčjycH5]%=q{ZSh5cPVQ9% i1NLy]4*E>Sxq9~̟M`sJEvFܒ>Ġћq,$я)ۯ6I&ˉj Qnkۮ8ɗJM߷OhY0FO[" j%MQ2F2`Rכƕ v 4LyHU]2f9p(Qh,GNbK#0|M*U-{4T7p1FuFb+[^_٤8+7yӌ Ȃ$m& ^Jй\+=P8qڷ[ՄSmBtD/UQ^IJ8F-lA]4v~sd+O5Y=%>8kJtqd;<*686n s xoSuծ{&Q2:ɕ^[U8Rdak 5 W$`QU*@udt묚|8OO\No{ϗr&I—_]pCgjhX 0PϼNBJӆ K-Gp-=p,\9珶w8ڋ͏f5W Rޜa :P)e? d+~3w)rIZ(+kRɮF>K^M=d$VklQ%2^Er$kDY-,FAOɳ;;t}1| !c$Nd}@$D zTTh~%%P8hEUΏFÁcDT3'pf5:Ui>J;ۤZayZJn1y`8fQKiz˓l{eGLśEe}O%}>UgFJ̠lq~Q ̒uuP=9.]X*[H}*>o%aIₚ]=:`;rB3UZhMޚ8$Iz\o$(X~8'>r^Dq_!QᐸO4Oq@ 11Y?CJ?bٵm[8)s0AE=.kDLBc+H9t:-O-JVsEiv͒7uv`g =I@ NXk6";$߸r̈́Xf^&R̲?Vn-ҸJzAWȃ|lV:f#ϊc9dgaFՓaQ#9I /P:]a@_`nCvHGӍR2Kq(m@dXwbHMpmŀl%jL$eJqJ&5Hczc÷pqO -TpgM'r,%[;@1):C˅ 1L:f_A?YiԔ9]zo| ̂ؽ4:0{W' )2Ue+5q/Y$Gʇ^7l S 3MI,؍q&iN*Y߸@IEQ/,qyr{h+G,YF w-'0\X4gޯ!'F~C>hTҢ?tsḾaMLC.1̥wMA!g@Yƻ|Rkk,d1j ISk~]%jDQ=z$7EqS>S"gYZe69c8a41e8994c9f71be650344fd2e64f29fe667341573a915193db629e8d127a9a53502c8309b6e 9e237ec730f89ae65421631a0a1ef3d055f5d625 76a013833eac43a00f0f01bc7c1c66e403c8a835