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 B5$,$ ]% Collections_Examples:threads=2elapsed=92.250cpu=178.320gc=7.176factor=1.937zXZִF! U ]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧM;x2ʐwװOmKN}x _)PݒA~̺7x?e{ VφGE-ï.QE:#RZ[,e 1TKu#:gVKYP7C¢_} 9?;PPb؄\#أwL#,o6OertYϤ]~ 4 b!=fU ']-l!Y*V02y}7BsuM}" [\ TLƵxI +AMYc{am$ \LVՒT.%3p δ!9]M~Zn8`xQEw$;h8tES{`a*ps2ȴZP觇fkZ-EK[rK9ޯ{# z0~jddjAeWz# nap_E_Cֈ S XF wa'㬃k/}n''nCGHSb e=X:6$ yb+8v`Z(}.QM?P%Ar;xNN]RD ; vO2\%UJ43,-RT5VLϐ#cciT J2v"Bo*q/ {Oqf¡j $zYVʴQ |$F QMO{ى8$aibELT`vql)r0BpsEPH}ܹr"wcC7Yb$uӣ> $P0oCQʧ| 2,\ RnMo~*궑Dɑʰ(YzjZī~X*@x,>7PO즡 u;٩?vlB}JJ/0f s Ã,Vz斉ڔj9A'[=~Y4pphUUIג$9y~ @i<]'x@:cEnK6dsuacx!=:$ӄY\[zt !LЉXJZժ y5Z|K03T=:lO;ҽ ~fa+UQ W,PFsYkAJ P\󵏁t8#Շ3xĸ2 yր)8j:XG)Vx`S'`G<mG20U cwgYZ7zXZִF! ]ŗXiɟlAC?H 7[ zwWG&k55ڱOWU|ք7 ;gaf׾g.PuIlL(67QOgxe^c.mOܲI{]f;c!!S_qby =0˺h\Vl'Ak? Y;mcnpc?s6L/G [S=NA3>Y5&Сhĭ)*N2IR6wO!~ SXv;Z:.%+F֝)*F~6&7?^)!^ksUY@LS.EqC p^hFN2e+r}GpG=4Y]l!Sd 6` eDDgFD<8|6-A(ũIf\.VrAV`g)mتk#q^OgYZ7zXZִF! ṶK]ŗXi%ϠyƶЇ*F~y 2ʦԖv׊ vkh:CogD~*ӋX_p+eӌwcmu flwZWÎ|h8LTw9>4x9VrF.?črɜ{enJʁ- bx'#S4–P$?HgD 8P~F;_tsO*MRm23;+΂s6-xC$\'d#T 64Ru(vͫ2V`X? bCjrTAǭX/_ym->h)igp6@YCNc3s443LxQV l/+ĘcF'P_&6MqJ)!'|4z@FB*JHRJFXxɟjSqgMRI]HZ1@RYN%è ,24&|A<3|YeS&\tF"6q4H3rX "٭ֿ5ն*9ak6&Pb?x#(|ˏ|h.1ת>Le>m4]%=v&gIA˶C=%ѥ#qڙsVtgƺXS&({eGi4gARʫW$okX[>Ϋ̥gJbٺ%޶h:K;>3+t6Wl)>J$g̬rəVOa|U)N|odKR*d.{i Ciբ3l)e/E͇$%~KC5o_orXPP;dC$}} w,>!כ݃uPLNobD/Dv$:wD ˑ >?P>$AW1'^dJm6yHҒ12A(;]䈌/!ϙCiG$&3cMx]ns8jҖwz۬%971RmY|#lTj^CyP_(P[s/; &?:g74pUG6{-CTz&* X)DwRou_A6-̔'6rH0tAgx} uK =JPΫAn 6){~05cP<8D'zl͂>"K:M!HƯbX!FmZ*=4 (] <2Ͼ?i!l%z2`f 9qZ@7.bBZ w#3gq@\x3f R q:bEٟUb*Fdt^>= N%t<5 ]r>;WL&YH=B>2H hGӍ}8NjꚌǟ}=쐚00JI6i6v_;Ͻ<Sc,M^_l%P#)ϛ :_|)Aˑ}q@ښ!  ]s-n^sG-w:f jj:fJHȄb2X!Q' R:*xƵPqNXlnRL"<Gq1$q{fM,wT\47i4y n bw 㾏-v(s2$zqfQp:SE}Q=_ϖE,cWVYsz )2 0q8?4^ }ػfGEw}O׎#-@u6g%g:sTu P43F@2oPFT뵸jHȦ7[*mDq|iu;SYx3%9CwPoXBM,a ʽ"k|7w/*9.+CSXF+A{}=x^j2u\Q-f7-8ҡ;nVƇ؄1n=m8ƾԳsw;힙AîQK6L37tƇ]ItsQJa삫v?^:)R>Tj_SsZLypO姟 4ͮ=: Wcyb-<2n %)i ˌ`m\#䅻1Awh}Cys &^L@I0lpnEy<a.rw %%YA>#As:hj8x=|W'Fh/8˂L;Nɳ``{A {)\+8oW6 fUqP-!p)x?; ;o]1/!?kٞa9/ij }=mN϶g֘EVWoMS.&$IƤ= ~ zwKs+ۂ)I vQ<r$Ɵ?x 5[Bù5^^i&;C;5_ܓؾ5z\REV{< Aq x'O R|"ы6}V'p0=aw/5D=jY/πgSI\KǖVTY77O:˞˝эY%J<|E E;0&$j(gYZcef9f54339a3c3f189d7568fae147a638a5f7184d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 ff7d998c21f1aeea0f451e525d3734e07d972d7b f81f99c07f51db947536e0853024d9c332833e2e 8bb8576680d294638ea63c1241534707c39367ad