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  A A0ILlT ]S Stone_Kleene_Relation_Algebras:threads=2elapsed=102.796cpu=197.300gc=6.684factor=1.927zXZִF! ]ŗXf1-/6vR[]o lY cjޮ_pGpB&gW4 k3&cDP!'xXoA!n)G Vy%jH @+ϻ7`D)9L7߼@%gw\C9tKJEkDCy0RoA[\o(s( 8m+6 ࡅԀRt1xBl}ߪ40T+M}[d N7FpN? a#='$_8C~jڲ剫⹵3䝉C8g67p9;#HXipT,@.qDr_i0(o:D&}UoFR}W^-piՀ} 4VnJ+>_y_ ]v33w0joFE9XfaMPRub3m5Y(rQoWSǯwsɭoIFY/YO!!V1v }>̤cTW*-٪Uf]6-}{*V*xu P9@3e" 5M1w]p*!Kepg$F.`Oѝ>Vxjx%~b]qZ[)VC#uYK>q۰(l(C-wlS Fov$BKInH‚$SS/*Qc|+@"Hc-GNEO=:0GMCX jY͈7r.MԱt?4lħWK Cȵ%0+:en^^Fu8S5ˏs"܆1N+ j$*Eؽ3 U SL|G~j75 ޕX6.3Ft|wtF|uv]}P>)AXׁyY⮄?RM4Zb *0&=ih [ʔMxWݣQ,oݮktގb#ߗkR6K_IST 5JLǿ4#N =W&t 9{FGݓ>'hVtYuuM" WkSJJF6 ۀ7v;PGH|̞L[R3|V {jeƟ՘-9[;l=_׋F}jUcT8U^+wۋ]BgwEgJ;HҁsW )\X2;KYFpbA%([ԯ= '[с m6I3C `|`$G k366!\oPa>-:{8ygL3*ù-iy Dn 5[bHh C  ۶TrFlKMޛ])wʜo-14h7({kM[Cxvpt\K{<_mƄ(sD>ٶɑ3uHٍs3!ګ -w2 sǍQMlW.VSD МY&ӭZrm$k!O|^ǹ-uUmc5G1q"|N$'Y.ƈ{g|,XOj^ ޙp06a|(.gYZ7zXZִF!  ]ŗXiɟ38)=X<\3~Ý2. 䴏"!e1!jvZV2N# >/S::RӓNm:&qϙGS7yTJY/3\*3(:6VfʧئtjR!gYZ7zXZִF! ]ŗXi%92F8PJ#WջL]I] C3b;7ܮC~34fGx\QG7Jk`FPN|@uGt; kw@ìLp{FuUx Gȥ^$,L:y2? ˆJZu-7_\S OQ;=ByJתּV^ n #-2^0$({,'C 5۲όsA[g Q8͑ x;,j9M5;ךw˖Z`fd|쁳'_ҴL8C`?2TDc?5}΀Ɗ\5I0[b(3j[+$ 5([`čfuYC?jw> Ѻ)HhSQvo Fl x-_R?|z#ny;y}vv;;[|DCaTkǜ 4] k~ 'en7~A&=19 ({?rOf)g|֨A2ubBZ3TͪL.-z& Uy"b] $dLXe3\1\|(ЖoX/{ݿK)hE6Bu 9p:GVU`qLfQsnv O̮+<*,2AYv\; KvNUn֪ =_P ] #]x-cE J/W 8gmTdZ._eRGC JfF#qzb|v(J\W_c,UUQLa39O'8xȢ۵ QzȞ<7 Z =mF.k1{AW%ArJ+ß}$*x#MTxHG99KZ1b00K? S7_K҄H8J9ёO1Kx]z-bc_Ě7 DAwS|a$;MWYvTb !(6 q[080g15sl¤ * 7KѶ"e?۵cӏv1G"S̸׆X_tRH7~u) C!x /s*UfQYO5Qu=OC#?6v ׶mdt[yI N -vSA5[C 0-4j02phqr Ԫ>]AW}}<90eQ7 wvvȈ!SߊC@ʰp~k# r}ؚ8?1L{+A4_;8U3:]CPVP ;bQBi'u=JQ+>ub _HQrv4:;eW[!tߚ!gTA`l̴:ǹx#+XmHtXXi:8ی2%mlf+wRn9"Ռak㓴^D{=H#}0JVp#I0ΓT! EGnTO(Kf9ҡBsm7c= hTa{V~pZN7Y2 [˲)tG9Mb<K=} ,4uт3+#v\Lk xW)iu^^mGl%G8"D6YV,¥?㇜3cpM ~մ"à %ιZ]:uΟB4y_0*"ԯĂ^Z5 GϣEJ̀ߔA񬀿ɸYebұ_/g[l%yAP`݁{W{@̠w%"I"E_s&XGK!j5{SSdym, c'}褔P^[;3_OU mN"lsO{}ߍLɞc1[>/^¸Rh?k):&/❵Hj᪔YD$$i$$0 *SeӹbÁ՜ۗ-Tg#%8k0g +ne] XG>j{)F/\?:crˆ+wWqg3XśzNA|ÑJVSK( .i 6dgN>n֣1'=J'X6f!,H;kd =ON ^k|QsƂxp0 *@YWAy>~79Z@l'ܢW!2 /W>߷:$ĩr$wښta੅4V5U@5l+4י4g(zrS,Ю魶ȥN`A&.TVC?(gl59hc78N "OxD@V {aRUv+[*N4\e xg+OzuhP?C!$iLJ]J/ kyK~~5Ӝ$~oΆ02ˤ9Kd?斞IWUvY,toHleԎ_i ǴY(odwvf:٢)?r%d<#"faT?b$FAMG>ڈ3fGIȋ4R~Y:8ScΥ2 o*Wܐ]~0iqU, wYN^]:2xrX Ԃ+,ȇ% & ˉ<sgSf >W:PJ5v}چ$aLb$ݑ4X-zZ$_Xs)%4EEV-H$ϋEɿY*sO&9#Ƃ|V&hWG;2Ƒi`g5(غp%GsXRTٝO D ٵި~d<kLvM*Vv-iݕ (wa&v ?'c>54׃v4$bE:&fzg ߂K%zѭmNKzI0Ha-~7kj?9(8<_[;/Ѕkqws : hSGά]aUinַwGx T9@`j'kIeb[kt{B{krD h,'$w15Sn Qsd>0%P>ĀVgL^h] Pݬχ9H8y5(z] ʅo&dg͜º׻utKpo@ pqra77rSě9;Ĕ잙"Z|QKQ [_Ͼ[1Q'Nтϊ Xsڦ;wA@T;(>03 E6‡؋1[6A_p%_(u:5fYHXìkѽ/H_@Dtḱ L0LwOFP~لz2*{ -!Zubc1-.w/2:t$F4,X}ꃲdNl0wI!``޻TiCGw>6sWO5IH&Xf>ڙh!)աR۵;Ej0&@qV!Sb\mTpr ZAp "Mi ex:RDl@r^H!d> b홝\~ ՟wTfѩXQe "+u3$i E,N}fOnO:Op"SgD9ve)?MחA"b¢=#&x8JOӱ3| cDCnY>2.ЦGmȅ(󜴬髚9b,7Ne´Rq< mFy gآbbC6 }5-?r5ADf;LM~F_,VThoX+.d>rX5L%UkӑL6iK2zS봄C0Xwq:\z6︨ )N!aGcj̴@o Q4a8O#u3H{^]ɬҡjL ^.$b.S04+7:K}"x TMJC_TB1r참[cƔ-ҿ*Fݒ׵%E7s6GvFٔ,j81~@ϺӞ7t$[\>C:}}; {L,J2eW$GeRx<ʞtdlǓ֌2d(0/ힻA.0c/