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 `-G]ŗXf1-q恈͐7ӺV 1VbkEڄvi+48~XD ؄9AEG$D뼹pʮU- ᦇvɚL:vC71뭷ǮcpSͼB^ԉ?WR5D*rRy%%I:/M0")7г=uٿ2GRr7!U=#@@3`אǗAJPJ[vFB*4@E)|3w\ɭKd@h$ ﳭ^yw0*8{O;9_쯛vN MMt ƪUIGm.FVSqg,qd +"pbUgv_T,y{zTYK7k@w{?GJr4֩tkܡ?%!t&,e)S?12Y+&S ־ zl<-3еgTx NPxsk ]5|ZnzOOuQ>*ch.F<] 6(A4"+o}86YqivΥ8p~Z tc!ûjmj9OgcÒ'wJsw۞V+r⋡T%2ԕ[qz.:ҟڂy;kB YPJw\Xk53g""oT9{U=L;!CHi|ҋ/*ǽ{'ڝW ʤobQ55e (Pڳlܿܓ"BФme&:ޚEOSbOudföw$^a>/t@t/`k#$%4h$"O(H2 G[=P7{d 6xO^᳜d($?\Sh%&&%{fc $i)6؛zK53|:ӻ BCd5Xm!0@rb^gtr92uށq6--wĻH+[ìO5`m?|'h|l. Yq5D5Gt+15u 0s[43 jB$fO3}FNDpS{a'bOCaS#Oel"}DQɕ݉`\NB kXxY>^h}VH CZ:2 |b?igYZ7zXZִF! ]ŗXiɟ˕BFSItjw_,^[u-9Hu}-ِR)RVL]7G qo&%V1[5 {QAR(-346\:T=\ӗd@ꀨ="$,i莹ʹ)y_H/͓,w5ʁc0sW0,A|7aV&^yfk:,t0G?3d_J*k:tv`GQ - CAVA_buildchain36W"IpNH%߬Ll𣖅)p ;EF~)2@k{br?xbM.X0mUuF+?ܬapsY݂Kz_ɢ7\ t]g;e}k7bSʛr/Pm7.һn:!O!bT \xȬ= <^ZpiKpE:\cXV+# Ν^AFff|\\АbnkzJ[^8820!-H/!G zl5苒8gԖȗ `'tB,M=(T @AϠ/^{}q,p! !u;Q!Zk9)w_~:AnH-⿷p &3uBMI$uh $˴&ase^Y*mU۫FJY^V O2J xG˶^|p!LwQc^?.F/yn'SjrII7ΕFƏiN;~[ Wk K%ljb+>؀  >udyi0 ֹgT2yh;mZQH5I@&)q$*(xV='9NJ"E"c27llU~m ХX+I6 )暅'c'DJiɈxC?T֠}I$#6>>fvAlDaTߧ5w [A?06'a8Ax,iG0X ޿D!Ա&RyC+S1rU,l{XPޟZaӪğQΠU ȜNTy}WӏkJCv>BޟF 3@:29;-0MmISfU u-OMh"DWZ-Fct3PMZ 6,>C;?;Howd+(]Cbm͋SW2b~1\|8J<@Ask\Meb 굉eSM;*IS*{ao[o[ѳ|:xkD@H k4*"fc:yx~1w'7>%7y44kS oMOCyPqES _wzz?сhS@ʍB~M9ZCAOSy0kQ ʹ/>|='QT靔A-оg%J FDݗy{R!5-RTtƪ^Qcv"ޅYjo{ ‰\2;d3Ϟ(Ob\=ai3̅l?^;TF/Lw/'AКHhyG˚m>)?`^POSh׻ܲm>n 0jfNlh $*abEPO$9[lMUQ&ƞhXfFZ[`x2s s csvͻ>V]]pjӈs3'APu@m׏>ۋA$3'Y_4\5H } #=bN~r>13%HNFҮY`e*,6ζFi _IMPmGTgg"w IÞ6{[iA[aJha %lF5"d]ڐdjXn_AƔh48DXbsys=76|)*qw)BnxxJ" 8nzrk;Q(6%}Fڟr~Q2~@mx^#J? ,.MքY7FDqƙ v[8"i=k i)lۂe`:3Y3yn eiØwq>_5GVO޴sG6}:hm8NkLԒkT=q4{yyU ?+y$"_=`]v!ʩ~6śaĐOBGӿ~ϏYt/?$A[R}.of8-<=|}VqPxWжg)f4t%s#x>;DnYty%D!j_#&4M~[Ϟ4CSJ{ĬrKd)&YU6s ӧBF~G`j؇wVrio4v$+$dYG`ӷwk#<G.sm_N SJC 0V AR)g?%Ae ~,itJSCەO= H s>NHd3€^l9U lC%HNRCUfG-dQ|4cN-2ecPs6&WUd/ޛRӺyD(s'6~n% ٸfFX05$zlL G qttJeN4 &Q/7fq(-|Aܫ:Z,$UЭ.i$5֤'d^DI/`SSr1D jmY\9tba[o3p 7Vd[F ("E;1kv[1RĒ>G̗S%t6}+K4'+Nk&~8O8P(@vxr J٠]uFnWA$ 277|=7?KX5S mb'@BN\曞[4W63>-|TW%lw*dhR(סV3ppC[V@]#j%CTt`IVyV) -hUũ6ۡ- N*V4F7(Ka3b-\ |1T봙2\jvK2$ L胇<uC SqÈE}D;M%Ley~Cu":JQvUKI҃9+]c'{UJ9n9UBǸ1*dGWeF GC{xⲕ < 2lU! 0Dh7@/6C֝r`M {d=ԬKJhA͑sDfs쒔pXg9zI"p>⢭Ry9YIB= 3lBsIwn9 5M*OZ*JI~3\g鞄NZ_A7DiRKq بL`}ekuFWaa ?cbc|Fjk}I62ɞ,op JHwÍNad,N8Jͽ3|xgM\W=g_ȁBؑ9xrP֌7G2Y8ߴXXb3o퉊6<>Ǣ۵cvP*nHRIl[|2ߑ\͛sƊ0fy5lR-?@x'H]!G@qVl! Og :[ˉʓ|n_\PvRiGϠխgJ6_;H8#hm/婾lj78z[Xg #՝Q#C\gՑ4gm>{uz=^,xL  9Ia>j)kP^塊jKsԃ;_.7I P3/Vp{PYTč] };g6&CKFIR)^ȡLp^^7AgjT`a)xɵ\MV2b_ҭ!k~bD{9S$?XFgY-6Ύvr"HMcrrNFȘht$]遠\;hAgNS+7aWӯϯF0.'ӆ-J>2}逍j_$dlNTnt>K\0\=#Be XYŸQUYEAABSD idv+iG>U5 'cQ?4ӀƚG>t9 3Zv󽚎2%EK%->"uOSP:͑ ׊QJWCrockЕ>Z2wJ#7+`֫v`)a;-L`U+R