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 DD1) ]S Multirelations:threads=2elapsed=95.545cpu=103.892gc=4.496factor=1.097zXZִF! 5]ŗXf1-/6vR[lRc2qJ)=?$~)LX9u`m*]![ u04WVè:R@;4rm֧3$6;Upx?6RA֛9٭Dfg9W2 N\SheСj1 !T*!Y,r`/fdNB|7>jFF&Ac.|ÿ[ƞ7XfxGWL0A ړMtxjeḶ3࿺91*-pϬ6F}| }0:tDE|xt+*WL !B!y{# Y"Vq(GMphnJl^dxe;rzFLTZZ5_Sc!Q)`biWnwc #?6qlęd2#=fA ,Kس3Y/4:_ΣD/#TS!Bف8nxNf.g ;V-´>{=ΰŹCC)?)LܡDp߁Bs'|^}F^IE*Am4\!~Y^/{xZٻm.`#VG+*锌I8y1CLs:_6Po=JCNm|g 2g+!o86pR%yxؙ iQ@GĻi=BŒݯ]aاrU-ݵPOjWkpA`Ɉ`f &۽UgXq C!3 9 :DONϿ=˙)2ydϛz?"PQ6p+T,pQë50_e= KR Q)0t%'1@nuq@=?_y[jgN'qw!y!YnjM-#0'uȭ0/]Kh׭+7VRz&t=mD|՜ G Or4vx2:(r-Pl&ג9mK _mDr6wa dgiNJ$Xg:Gİ%=`Wu#y~NBxA Ԟ~>C-Щh[JrC"C+`dk)rJUTI.ݝ\{smJOKTo` QCdl.]U`:a~}mt#@E]h]B1X}\G\6+EhLtI"urNЫtMk,D64 '=i^3KWϩ2ALϳ^rB_+Ą Rn.S(bRC9.kڥaTX|]v'u0M@hipHmK ZkXOA1C ) MultirelationsⲱS;[JAT@qɟ5n6mjȬ OKr)_KcWj{AFPs- ʐzWU"\f/X@JE:= W@txB1acQ]΃dNKe~B8W&E.s%4.|7nO~y&utx!_<0(vti3x}F⛉O381\ì `ЇBMaKMo Q)q 锉#A˦F4plڽ^q7fJ ?3נmlވQT h"8%E9obN[l}UL<Mz5rt %<GbrR;A1y{AAKw[3f'1AP&~ ;_8ġR7 gH?ExFb*% pn < ^/-QbvQ|G4:V\@'Qڿy$LRkYw]vkrJoY],1$(BJm+BFP<Ԫ'ˌg]%탂'}ăٓDX9;?MO\wTmf6ھ X/vQDqL .39E/6:88m'R!&sxmtPckqW(֫:+ F.L3g#a7+ #i-[~S/L(T+`bjoCS.2n#::x)֡i#~nO\vd Wo0cM5ZHs8,N d-.ä d1=eecDH s=GGfE&}`Y mn8)+46os\Z= V ji|a|^zf~nX x#/@f='LG_904DMv=x4Ɣ?nbnwy{s O=Qs`ub W||F`QbO JL&-J%AWOsf"k_/-nz/w\0EV-o6iiUV?> =]J{W%i ~7RR")`W]WRd5 O w^؂$%q¦H W5gp֋n&Fd8 %9oކiv:7ۻ[d*@okL`SJ#d1O7NI0eglٖj=H7qD"wJ J'cu5I5@DZr#sV%*^Oik3bEM@Jye専]R]>)O~ZeHףyS$"RilaA{jЖ<1(0Aw5RۦFve"FpKHQ|4p j;;)?@/6vA*PIrT4¬*k^0 qZUWm2G`0B jL(D.fPmAP$ڧ}h7P-ژ eD-ǔFy";Sh[P Sw!9@l|;{XrDK?.rg/+~x' ߨXp2sԯ0󹦉y~gwt,Ov!#,s|jۜ>W',K#XA0,ȩP(bxk#6A-ѵ{7'0qK%p3m_X] /EM,&2Q喡HG+Ir4cD+9Y$?X7I.2rZ*QA8BA9 KGA|)d*#KeeqwvoOrʀN8rarEBA٪nR"y22ն`KM?ce蝇<+=vG{}_)LHz`#S*dmA1ھh8BCdLcoICd^_z JwқġCu]>2ߞ._9ѪMU=HA"A׷-􌅻4+F),E$Q[U/[Аڊg!%1ޠx&'0P|DwIb\Fnw~kwU=hdGSv5Bb6J{\n:( P 3*l >c֜aEr J@ [vm?{*Jxl}Ecwa>[%qSP\$ߙˆ3Qƍ2Il/k®j*׏hoeTsw| W>2bC歌hh|B;6;Ym͜ꃢFiOvM2H %[BvBŊcLOkPJSJ?x8k<Nk荿 Yz ~ϭNY]@7'{L%}a@d_6 =:tU\$gYZ454bcc77cb5d26481f3c9860a3476290c1cc06691e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 b9823c63ec65db558a030907f9cc1960ca53839e 2ede3a5adc5655c3f30cadb55284949d40ee1673