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  $ $Q/|DL ]/ HOL-Proofs-Lambda:threads=6elapsed=112.186cpu=142.308gc=6.244factor=1.277zXZִF! v]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}?Qz:mw:Yv'ݵ'J +r?ږp@Q!:\7@A7x4r%62黑k˚4I3 n)/ϤÀ(Rb+pguyZ<ɵz=(:XΗ@'ܗLC=M=5o?W,_x SZ6tA< @^_@hk<޳-\L~wgSg]:%,d~.hlj'Qİ`=uf QhG.,Ma&֕@怫Y()J߱gYZ7zXZִF! i[]ŗXiɟ11bu)]>_ws[Ɋ br(TYbabQG13.FoA95C/>NnTTq~JQK~LfZ zl ux )bl+zE3 -hq[-TtNǦWZY?'|Kl[:(XCE&U5k h#]S |wyX,MZxh' [?h3Ivլ1 TUxqr=Os8wO;Zk.2pR.?Y^݊Np^gYZ7zXZִF!  ]ŗXi%;k _I|*~t|>&RS|;!h~G^3HEu9tkH65IaơڴE;Қ6QC&aaN^gorv7SB`m@;8d[S[2Ule*C3xNoS}VĆ ~ .=rԍB ^,v0S>P{E0t!tƫ8@4*,8K8Q2’0AiLs0YVR; ,)RXʂ / HOL-Proofs-Lambda~l9J Pt{Ҁc9w FJgAE9"BQTxvklyulf`w _qY6} n3NE.acr>x5zV+\!8V/ c`b~#WT6;cKn6q,R4yh"`0?0//an*WuaiS`Sc5Ɲv$L=]w@ۍW9g5h"_<@\UK'19~)O[H ^]P6DkR0 RF}T%f,̥lsxreך+WܒQfz{C~{Qi=I DRhwb i%MM(6(8;y]1w~\ԠkI-3"PGIݗ4 ~6j'LF@ajZRMvPrz0_I'PF3݀J|ys:|d(t6 /t&oޱ.V~ebt yEp |-p)-^J ,ZTxfW#^Wy8a@ed ( MKνRdઌY5e7Wz qMU~䔦G& faəQ)~e9g\kO}|Gh|iO6U5'ct"Qܸbۛsu%'[^40rSEp a AUˆS\_40Ɛ=c\cUnA<ͥS>[>EkQjq78uQq{fT4Ff S׵+ͦU¿۰۸Q̇Y5߶&K>zJR/k|yXcxWPK{kfඦ}_:v-GWâXgbM"+,CWaݣ,;&Q93k: s>uKLW(ZY * 4х.W J҄4@r_/Gl]!+uj : +">[Z%CqUA.3Ϟs`8Y8zEd8 U?IZǡJW׬wcHqN~"[t@hU8 y%'TG7Tf1vz(`p匽{zUNGy֐ظDS~G )&ʢ]j 6m1:i!mǪ$I[u]WFM ? 1q(߬L;~L"Bi ͗xVch  7೗0_(rAJl{DF#Q)bSU}a RQf;~lZpӥNr8B RH呏WQm%WPڿ/a+82i&ik2e+ۻ=[ى\bW&%spD]}Mw;$Qkܷ&c XahAn[""мrj+J3+Ks<,Krޙfg } U$AJAt)fy,`L_F1Aq1 vL2jGקA,$a4DR yEC+fL@Hմ2|jNfX`8Vz%\\ᓅIV?Kqƹ!@hQ6Vw%~;J+6#-7v} hCҚI廊y "WG.^:Pg[ [̈́?&\ʼ$0l; ɆS\xMΠ1ѻY:cx8~1c_TFsKwQ܅{!bte~M"ZŖj!Z Wd0#\ۢ,^j җLDžJGb\]YAp9tm`Q8j T3VI$g޹t]|͊!VA_#7erHZ9DZ}4^Eh\ {+Lؒ-Lƣ6Y~}@Tfo0aTY:즐W.' <Ǘc{=7Cr-ۈ@YWɞݴN,laߴo/e()S`Tm5`07}X\nӤW c$41_4̂Sx9'HW'|U.?qDWu=2 L)u@ZkTzdtChE*VS e'g^~\p6X0u]#L`oMArHV0)5h+nҁMowH%\ ZYm v1)5I:7ݶȹEVXP9҆ ɾ?_$Ng:؛9&-|3iӦsY=62ˎתfVl͂)ߤ[cX !g(,0 )0*lEƲzSA I`B؍˕ 0) _ @NAI3ȷGztXJ )D (w| 3a3~=_CL"Aɔ$dgYZ37c244db2918fc31d9e563e03dbd786ccd7daa0d32e67617b84c9c11cb8188110a1a4623e5435f37 15ca9561381b390f7d82728f3b2d8fb001cc275f