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 n7$\l ] HOL-Datatype_Examples:threads=6elapsed=83.122cpu=298.960gc=26.712factor=3.607zXZִF! P ]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwT5$5VS'&fIY+"xr EB^ hn7.xoɾpNKMGٺKF?äqo# ͐|Q 7zGgMsIQ͋amO!%,{ 7&oc]3G?oU WĺK'gH)AE 9:μoCB*w@;>&$zuԜ)1I-s\Xt~ۣmΔKSypU o:9V=\@2ԙV.M#k,ƽJl>X~?8g/ =2 ̍_" a5Ă~6z/w]0N>CSZ=K"y$AU(H(n;WpDx>$EKƷh;K_=8b'g:-19ьm1R; N>7x^Xn~k5X,w~eD&3Ev99e8)-Yd1x3 ,1*,+믹n&0Oa+"uYwlWz&5o`{U{9Wa%-@PL%_ӌ_Wvg #ǖw:ʙT҃bAq֗J ϳ9˸ m<_mi%>irj^znq)\Ʉ*on.;ɚU3\[K炪@nS᯲q|?qKXq{XK3e5IR Km:9G$Bd!2Dӷ4XL zcy{kǩQC*逆8RMdF7^oG$Ű=v+EG|jT򜉘d݀S7):!2y'& 3c\DY4yۅSvejCZ%"u,;{/F+0 y S~ Fw#-37b1g9T ( m !қ 9S(;%4]8v8cwrv8\/D%3_$/>F5gt͙7a)y{2Xm(4uE}bcwS,DRήYE(oIl>#lMxYK1Ay3]Bn,:'/ 9)Rklp Ոwb̎Qkg1f,ujؖ[6skqFT\A:#8gG_ {]c>3p7ٟ;8;>7#4 _G+xsBz4-/aebI{@RcKs6$F:Fс{YOgYZ7zXZִF! ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&X9NPW[d {5u *BoЛ6/-s&bK^4F>U@JuW.31 !^ N˸j/ڂ\*cYGqh4\[ k}',S+zrd8Na >DNaZqlVff_()_j-VQG==CR0l'=ެ 7]`k_`%K6&|*iSy iԮf UR1@/PyryC]p, POgYZ7zXZִF! |n]ŗXi%92s@ +^BJ1iR 7KKBEX%:c}..ۚ3A|r6wp>O=B,gS~ϔG(IG1N36/1Nڒi`dy@o)49H5AmWѢBHH:V1B?CQsZȡrSh$R1iZ>NqP1mqq``VD $6SW+~z-؊]i:sAܓ(G&$Ӓ ?aŐuk> х߽_W|qae/׷Oڄ:uћvF67WN.F퓊A*;^Hyz|VxRzߊ*2Ze4 OTZ,_ j"cupr2*?>W55 8F߬.>#(ՏwSi@L,i[gD}$p$#ƉܕRN)K5V#7E6;.k ziDiBKw2!&3W웅C*l$ <(ca qB\Q|Dnb=J93H|iakNvfqfGR[k6wSD%!0җmsud ~5EbTF;RܝCy$ g0CO:S;H!g=K!TtM55BP `R`X?aYIp!-b`Wu֪8j}O%F>,-1~L () 2Gbm-0[B\N/|[J!D 6qzd|$CmXV渙s\}^1eb$Ω#J&C>iEjōϊvpy\-*3K>`S ^%U\ɵe 򹬳:IJ1!ziXFu Hujҫ|1WrQ,u|:kisg 2 @()0PDO&6[ TF~ZGT´v i_k.j>:-?aU,_auS>.WHkLO,l J,ֿ&Nh..(nʢ~n7N@%'s<0S?UO$oA>Dn8XZM:"D$Gg] ne]ᜏ+^BIl}JPkɮ gLR>RnA97M2ɤ K]4>$ŽH_ҘYD171h†NƉ|bIh,н&+5U9y*JڷuY@}ɪIHPlNQi?d>ɡkyQ%վPLu=_N†"5Qs P#ldSP'!薅%:Bc񼖺^T=)ޤ\2TxHvDE"q PxJL?KwQ5j>Y_qb}Xn$}ܼz:RFi#LXz]|3q 5= iSlIQ{)NSzŸyWFN*Po=Zwaqh)xT_ajvl2flool#rUDYRWjb]{慇^. , 4ÍV8jU⛘2uXpdnVf<𧱥SN` pZω*[Bc<td*i2n8ї rkj'@CEZ>wI49J'Q"V{W\ySX0|zF՟zja]+"y6)60QK|m ,/9P2bc킽˨ ƙ;cu lSkJE73>paCvG;cI¹fJ Hck^цb~۵v`v9wR ]#r޲ ЩI$lf"BWQj^{s$~76rܵ33nϙ9";p"u/[ uV.uq:K:s-pÁc L𥸬 l`ǮZ -3E}(WNpڵآ9I "YƭzW;X['-֫Qa3~6Wmtu̷'}<ַUEsz,j{>o|m>8!3* K1˘\x։\l$D˧23AgdzMQ`\& `қ@FMq0"(BDQcpN0/Rz׎t> !+խv9nn ZH{jW3b ̚j„.aeA=Qe،$ U|F`hy4TN ;vU=Ce#% u%c{P #{V5*>)/dhgYZef2103522632d6b3f6ad881774f4f15a0448b4b5a46db31bb55395b3dbdfc848f24a96e1b1255d76 d3c5454b647092bc2e8b3ae36c1c54bfb48075f5 2e8decf43b35cf896067cfed44596733da0cc7d3