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 ); 4D mS Special_Function_Bounds:threads=2elapsed=37.305cpu=72.632gc=1.292factor=1.957zXZִF! N S]ŗXf1-/6vR[]>hHҔB^Y1=;Nu0Aev`Lm^mm'HO/lտؐٛFtGڡ2$O,%{\]  ~:VAi.w ?X:2HHloX(UB= ; Special_Function_Bounds5(j!BZD@ P׊RdمhЌsRϥ@qISrII[<Ā&|ۼ H˦ńDC0Oa'!*ks>­GebƁ(溣t֌Y|El%O"Oa,Hs;,ZCj5XTDhSMLZf]L9< \F^b$uGU_`=q X}TgZb&0y{k'Ć}A&ސx"@à8ݤ\t鏸!Vq-h@_0M0qz&IGIEOK*dۙ{nTZj>@)ˏ7QA$&^e"Йct~"ԧ4"̫GA8}k}7~l`XjKx{5Y)H)}<~T`ͯt(q\1xe!Yj>QvVA2vu3bMqYr6g'ܢE,; >ޤxL/b e)1NG jmCH67ĸnڔ<yxDǞ+Ao:wXBW`EpqR?dvBYW".@c='aۯF^L9@ 8BvcjF1G_gFA0 ݛAgP ໿b`1 vJh BGOQS\p`qw\hz0r"tLߧ2.kàٽyQ}q{l%P-%xyǡu7|fI9Q |0Ϥ\C8@6ݑ_'o.̺qeh/E9*Ϳ\|#d|kKYpk,_YǶ*5ž <KɵVk=_ܤ"W't=\PIv+3#\hJ#c|zn!/|_p/ 1$)?X [ CEy u^9V^L)7 Ճo1|)ELU>jgAs*H[!m3 \%9#}ǵO0E&=>8ƒ#G=}$f KaAV i'VԹf$Qo 4^v ~^ŝtϐ [ʬ09~ Zj$Gp ߀Ԏ+^F"3nL.4`~uM.n%roVB‹NOy ^aE!,yt=Mx2']M;x91^3X;6S05;0$!T@رX^bB`"h(`w##%+y"DӟI?#D#=S,In[1K(8f*(zȶ@gSn|cR$~L|)0K[dTkk3nm/\<^"-+*tE['5I` SЊxV/J bStK?SoES_\ϤgYZ7zXZִF! ]ŗXi%:7O6#ID$+'G~OG@؍pHuaFm1Ǜ-[=>o jt`)^ 75d p<{j gҴqAk.T6#\JX3H䊜bUB7* C LEI .`>?P!}zj3N2:)^ 7 rW! y %uIiE渏ɱLjSAJo2`$E'·ף]{1:oqT#VGخ)Z/j)8+ {%8&&}}܄yarٯ:%ǗYda+\x܅! =KȄW_oHLj i(TbT͇|zBhVH4XR {T[#h5 79_'ԕ{%az" Q& @ʐh=<$_j;EW(_LcPʀq :'4>H_CAy&pq7NxA{@!{R@h.p/k=}Lr=mۭ8AK vZ-Zm=OľHl\c,H/z,nfMpiF5;{;d;Msl2ȴQuY/1)߇V3Ba[+-:KeRr"Ksיȧ ag,?OUcܹ ҆w61 G[]_I='\u,w;f`vwk'w-EAѫ;n6!|IW*o޿_!| #vw֣X?guvS5"GJ 1'X d _$NW,?xAﴋկqAM_F #B0Fty ^s&F?ZO;B.cʶ?3[H }qB/>8J ުiE.X֥)( o )U GăΗݬdZ7J HJ^֙lIKͪEsn=r K>*J~E7etp Ԣxv38չƿ_CէfX%Jص`n<;_Gh p\<,{ӵمvqDcJC.֒: Ppvbt ?{"=Wt6p nrq0G31'5waVV'[ϝW7>m& qG6n|%G5$V@.C$ۀTM~SyB)A N2ߚhKkK)(WcO/ܑ߫t탥74xW-k_ Qs7TpW\k Sd3%T#5gtijVٶX)Ǽ"FzLT9cV"{uWS.RUaȼ{ىh ,!`FaMQKbU9Tȴ0{1Z b7]vaV贩u W.7j&6pt$[~Gw%l V9AƸppv٨AL{,R.'OfŌD2*׆<F5\gӮ} l"伌4kͱ `oX|ijRodmƝ 0Q%ZDgYZ2fd232e2817434bf48590eeecc1e7eea9a193128 36ec3d919766f5575ee7f9e49fbfd3924d92ef7c 3c7c24926c5015832091b71f773824ad18d6ad22 6968882a9b8b671a249cb1492c0bbdb0ad92b429 82492ea89c58b430a59d0075007c05207f941e51 9a40a333da26ce6329a5213b1b992cb89b687787 bb0a799777f761555e86304e137873da7c79c21b bf9e55fa9410e2c8996425fa2579ab84c9aa4014 d96748e7ae501033e4ad97e167b625c75055990eb9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 6c1e2e695a2f0575bcb7e67bc72be34591789107 0b43387551019ca4ac8c59355890fe86b0f53ce5