SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info %%41 4T !/ HOL-Metis_Examples:threads=2elapsed=49.383cpu=81.044gc=3.568factor=1.647zXZִF!  ]ŗXf1-q恈(K&Կ6l.=Coء-=0Vvl査l(n,L~zfبazvYt\v :isI ̇X5p<x$-W.Z>| >E}/gMqCQt =@aotͱWZ% Vn6~r2UVML?.nK=g]՚ɢV =pg0 1p"CRh38"  J着z`yywG8P6<"!Xp{HeR6>PUCA (K88+LYΑ s;yGcjs0$"ؕz J0WrA1ORLoOP~v PHWhpU}q-mSB.P`4(옞QMÃ)E!<+!bsdS0;mdY7I;_j.HsnYMll79Y'+<^Dxk^VEE{Ì/Q\g^B 6܍14 z~ OdP+᛺xsG=d%+ AMiZ) *a9UԹT\/SįK е ]tyizB;WNR5ŗ`e׀xA_Q_PVNR=r΄($FE5/+;|]WSմAHO[P #@3Y#T[ӿ~l5bڕfo5ٮmf#+DȨSH ՛Wj׃oG'Ů7Z8|k,½}ޛzGup "`;$E<#aCa)׏gr[uEVzP>F)aC To+/%M4_w{WtJ*c<.mRj9UNhy@̽/sw]&࠙VNN@$5:Qy<`$uѪ @5-q<[ ] p^V]UQƃ3ƇIRGw#HɆ9zQE8c2Km '˷l2e@ڢpffO&zuV!rH_hv fQ_<8x*2k2R#GŠg뾝0X`ۜ7 , MgI-%,-QC{Po}T,3(0Bzh&{,Yqq [ L_͊EdML]됎yPoN6-IkL$ n^y =Uʸ'g^OId3Of*;/>Ht9Mb6&؝x*6d9]kp I? ]Uǵ.xkiQv HV"]$Y* :x|D&8IsPͮ'!Ƹun!U3E5 *o2r3|B3+onƖ΁1{pLM>%/[jZ-/E0p|ݨ c䡾H]AHaf C)([*oS<|i''WWS0fztObPڡ82FgY/j?rSwN4z! t:`Ca>hWj=+)>h2nc$Lv~~h+}A^rPaF2 - >$vFBT:O͇[V`Ia};Mڣ{M q#`z'MezSҫF&[t54Ndi+eLSCZw kř ,QNI!O伇~j[G>FdX6+I.E&&Љg22|dSюȷ 8x ͹f<#J[[D̩;R%*ZK4\u7'9 Ij$ +RX<ğ@׶F.yiJzȴqiEw,Ŕ&=/Z'۸+Ns_O^'cVp-\jR@Isp36y1Z}zXTQ{1‹ %w%ao)On.:?冊Ѡ q5((j"C|J#4ӼeLX{0o#(b MV*CG}dԗߝӶo: J) Rp<Y0ȵUlKzt!16VjO!D/,LjG`r4;Ta '̼΅K߱59e=~erSӲGnHׄ<ьo̗Вzہa:`a)(gktUS2ˠš!aLq!Cg@?_k4a#N NxI$nYɡ_vXV`CU&36&,2DK>Sbj$̶ r rMѬ_W N9B[=`Z/v]#O#<)UpGȄIe1o`&e͝? *wu4,'pt1_>!;) MюSƲzvf@~bN{jI&OZOf ~IƏ[:bk[ưGZG,D: ,[vR/Ľd8Ezf($ӳIQu'y SE_ĭnmAJGfU?hKV,%mƤM1}P``tYlEǛ/ #sDw/TxNts@/aYfBt$T_U KhLݨѤ)EY ѣ:&Nm%Q6p_e$>7Y襴WٺRem2(&?'l# dVkѮ?gKI {M˶61lBLߥaDMY{qEү!P]9~6J.vqۋCǠ_01IjG.o㡮C0t{s$䰱~drd"q`S?#PjG֗x9_5nv8Ӭ*xFͳ1D 3` 퀓 3L9-'R[ [53Ѹ[-Gb}`37Jbdaf:#U?䧘p=M^;{g%SӞIs8S[O+ {.dDHz1T6[uB QS'c'4}.L6"j@Me肅ZvΝ e:;#Ah\detTCv *Wk9,V&r0A7mS -#i^ŕ1V%*ot]lqD ɂ6(<7_a V(y叙eNc-&Qs>T f\{8N RTBh\dWz JE>6{ПkL1S~u9ʼLýzt!(Z*Mwb!ґ; ] .hw\)Ƽ _jN"#q)PgUzz(,^, sD7evvd$֧8 W,\/.~FϬV~nr&L!/tkV_jD?ᕬX~8&-ǯ,NIU`.3[gQl${>qQ xa230QLp|2Qm!>L[> ל0tЭd|cE @ 0)15ֹD$Ent@yZ5'Vق$0% sFBamr%$efD!?<}-Anb成WVḿGPJkdH+D'b-c\/+`JÀvs]46hc~t^?uQ/4 .Z~מ&~bglE9 ~*psN峱nHx+bY0` =M/q!+eh|V:mSG [7+U?0RA: Y˪ G`Qqz΅:gf?$(oMd)ef'Ȥ0M(RB|Ħ-C׾՞ܮȊ7Z]Qqabo'VT8blQ#|㽱4 l(Pf:r\SEJ v.K (rjlTpO#ca'>A ?sP(ͨdCtb`)@1<8{ 25Zocd=o8㼩9v_sޕ:@V;ǍZHIqx)I66 ߘa>pheqgZ?,BN%%shyrªxzԔ+@r/AG؅w0Ut9 P#$4y5hl^k&ElJNJi; 2Þ,Sh