SQLite format 3@ . YYQ77Atableisabelle_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, "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 [ Ca:h<fG$=!Vl>)Z aIZ0障a yx7&h^X(K0K͜\;G`I\ǩ=6s(#A)[N P7 .Ҋ")ncyD6eD}W6.\M5e3s~*Qh~hm3,|x'Z#~dєe+֛}VdR{ɝJB@gHuiol`DC+Ûb t=H̸w4sQ&r~1 1+HmV<%[>WvH)t[9 k醴o|s6dI\:%(Q?ɾ>l?;b]z=Ռ٪}F7kIŷ9Ojv&/vz݂ ҜsJP>/.1#U>U:R]!~@TtE)m>tm-zb(BcO-A7CVDcF$\utbձ[)RaFD5E1OG)[z|s[ qhq,iClJ3WMWq,&_"B׼H۬tנU؍]>@ɓ1u]4 :u#0^:T)JI;Y6@ߖS FFbhsBU#UvMOeAT)6@5!#,"ݣgyF$X#9ćV6 JD-1Z8:D?bU+\wSxBN' _ִ;e֦57`n]BY{E]C>!mbBD881tb@p)2] aRũ w} 4`G1E˥W֝Y2Uz JN{.k)FZ%'j8f /L~sE~H{hr;ogj>4 )(պDBP;B1$.UcX6h%̱nEq4 *DD Avy*2ByM >z(<-{ߞV_9mٴÜjU>dZk~o;}W:$yh_pO[믔6mCQќrlV.^fImSON/8T. Ѻ (r"2>5Jd^wxdRƿ{$+S|EP SeB80./ߚJR JĮQvQ$ͿdQ-_yЎWm_[ 21bfR83c9 |$i#!%Hۨ`` ȴAqsb"HXfMIE_Z4#T9Z0R0-23Q^; o|#ڵFZ$RG%;\~x'0[o*jiWIJzGOjX҉>M;\^e :]y@$u3;񻀻[2S'$W'Q$9t.!͎.ucs Z Rƅw_SXd&Mc77ߊugDyɯx#Jt0\$ڼSNm7yLJJ/3/?jUG => >\$췣"E;5Q.o9u@<ݻ9ܻz:~yX y~@3u)e/"N*s4b<]=z A8>"|J>rl؃ ;vDĐtY1Z{JޖOAqU `:Y kNGu:襭fmmMrRhb ⋅k͎Uu9)Fpr5'UM[gS&XGq ;^Y`(_@,Tia0V'GKgYSzh\ d^o v-TQv-MFԗANm_T"Cg Ya19vFf\Ac /PU퐓Kd *w\@j!& EՉ+yvgb'@u'684~U-Ɩ6S=/xm,5W>CK][H|l\a"$o֕$ YO:ad7'5κf7V0Dpy 3NA0)@mI4eIy+m ո$X˗~rnEAg+E.sS,426gVmӡĻmD#lG+5 FM"2kּ{IniSӿ}bEP)ը0RJ/QXsЈ w;MuPUW"SgMI;Rp4(PL48f# 1W > @zhE yZ$9~:OIC<"^Mi26e{k % * Ѡj:r>:-y\pkfͬFBVP7Hs:(751- LJ{w9`am7 x4u|`nStC`v;o ^x]]6u_ݞrcO8>;p|u0h4ѧ-]j:!*R"}H$M;&^W)Yw/9. #\w%ͩVV^BQ]5ں>A0 /*_75Iz9o&*1L=Mx)rVdz\QV)M"j 8h'   HOL-AuthC륶Sea/(䢖0l)r-ܜև@x%iαڛF}ˋ"/ ,WAթGʊmE5e+Hv{*g|>EL 7o;[@|C*kl?L߇\RpݭF\Bgr]0>}J> B4#SR>#wx=i)w~ٞh CIjJMv@XӄE]<68Q\g(ß(=LjK\z gMfp}>\<^(BjG@+1jdն~xG@9CvT%WYAk%f8JB=) Qbvp#ھ?G{-'R?z :hri8l̅͸f;jN8;3XY4" )aFqWަY_ORXyMNuǒ QOG 2NsWhM;Q֯%1{A岆eNQsiG{mGuR.9dUHp>HQ-`gۺuچW}fRN.y CȾ^;lGA{UlDYJh0wgmşS q5H6FG'iPa_PLd^m݇N;,jdjET)q>=5vܖ\Y,晻}FTa۟*9cLyҐlwAvI5us29=^j9҈ekC~<tQFjΈ;˜di*6bmO^zߠF7R} 9oә-sߔE~y&kzrR9=78 V;N+D1p6ˇG`meM? G팠 l6-#zQқ[@~nCS+{2Oi8um>VT_,dxVfrkcj ,?ՀGܦ%Tm4  0@_ _l,mR(lѪR{]~ .༆(8OЄSYbV:G^bV3r9.UD 4l3)ބa!Ww}.o%WyƨLzyĘ;/#:hӐk1|nhAe:#1Fb xU/:}p h=CkJ2d_VZ8?-fn`Dfm#@0S=p1J4UR;~9yD^N@Ws_L "3&)U61Ȧ8)Sn\m|G>17 lq;@:Uq΂O'1}`>FT z¤9o%^]A_0_--5ceWVrI*P?x-R)L}iD=R\j*ESp€17f+]e4p4YLJ݀$`?Bk /~@9«xrLZ/"R?P9+>̠!kvLpۭ,52TX,#hBǍWXҌޮti`:()]#t-Tc[az\&dh{Ǩ2 4Raf%ЁP1B6 \Z=#Y%u^2Ӈb9,jf~t eJʹ|@^GEle%>0,x3juioL4rZ\ .gVPv;.8`˴ڸu^WZv(n9xoOZ0ꔿORiH[&e-F^s ȍ+6ݪ㙷W/~=w&\x>.teo.s.lh[},^̧ rTf  +dQ:?DtN_#鳺{q!2dk@IІgγÄ壱?7G;.Y[n`͡[ GNƖגPzZCwZ%9:6jD?`h1'`NX>M|3bȮx9bo(BC\rkW*)614A0 ch}nhm){ҙ]cRWu-J&V hV#+ܮ‚krc%.y!y{bCIPwk@ׁoU&w5aFb. kłJP;\,Xx<Z/m14xq`j!ޭCk'HTLWy}M3P?u7A,J%NEwұ{b:Fi.,KuRGDPc^Mç25zbylyW"^" ;hXaHGJEs"/K , |ƽn7nj4F#Țli%}ampK8[u;y.fuKg$11D޶PiX4DXܳztﴦm ܀>VfRNU ;09]ުԍҪ3'Zl 4pa _*ՍTohV_BoTE<E Ac"k$/F5JM}h͇={ %a=S!\_Ԥv S$V .}KxGa&e)cɣ&Y@ )8?-*Ix Ps Wy sH cJxs9xWM%txu-USb9rPVjh~Z}hs|)_ȮBm9gK!yN[ Pu2 (o6BUj }d>und7BYw^%P@ azօ_ w$yzWi 8RXBٞô|cTs,G;eJb jE,P_IE"YѦ#4*A zL:gῐ/KOx y.T1X@gg/֥^hȟ'eO`7Dl7:=SYMudݛ0&;<xx_]MROósB7+ýxXU8KP5U{a S;ZKsҪCG$([8h%Pb.Z듎TyvP<+ӆlO+alʎpӆmUa sY4kJ\eԛi <7qTK`6+lߚ&v^}=`A^_ZxRՀy*uh_8g>*!qPyZtpP &6!lH~,3Ÿ"#-Fl5≦_c