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 E-DLT ]m]CAVA_buildchain3:threads=2elapsed=167.347cpu=275.380gc=15.568factor=1.657zXZִF! =]ŗXf1-q恈͐7ӺV 1VbkEڄvi+48~XD ؄9AEG$J6_*rsabY}rXW9D-_Xo 7{MVp&@ 7 D"{U"pD.Z/M>?JGDjv>C;~% 1H޲EMhX+lwe{36[YƀOҿvG<:b\Jɼ]H|koyԬaf+qԞW EG9?PH^K$Pm5Ȓ3͉=\j׻Pqfhozk`i[$ +)kX';m$ztG{F-x;&q?&dOx԰k)GhגS$gL&1Z|fQ[wI38\&Xw!>&=rҭ_ D'I}"ױF|$W҆d`ն އ кîXvwpg(`xB'QW~j+꾤c42u'zĚXHwFoЊ Xl"5T`3"@"3YoKҾmԱd,of9v#KIgm7~ g #콘F= CYs_NPzq Q=d䉩рڹ1ZEM󯾏Kx8H]GƑvX%]6,$fO~ǩecaxԟ@,8)HYimv1AG Tgf&(.ī>k[D9*Iv @ ^Zj*i|L?/ͰkVC y,֭7P#?GeZg/,`rjZB08`$xɰtȐ0 h<+'碐ɘ错AޘW61XY]A߉%*w`/8K/T h__@Tn= ":}0Qq f9@Tnw/}'BC=^8*OЎ' lx(Zv@O!jHzx1 \dF8|m틻? k?'[+ZZ:m%JuO :uQkq#q1iRy\<uvk ~Ҝd߷㜱YӞLwXD)5gy ,wlFa.Dp jdO%LbjQ4AHLt< {MgYZ7zXZִF! ]ŗXiɟ˕BFSItjw_,^[u-9Huhioˢm^^aUO,Y@*RS!1乥W쐿6| }I]7E*-o. @ʒմ2 $BArI9wst쯢fMx2LZ&D2N%f{r/0?zYO]QTGU6 fW 3nIݬbi^AЬx삇j6Y,/ *NFhBlOjJԉSWi~%XЄ'f>  H(5Tǿ c.`F=K - CAVA_buildchain3lfeY~qG~ՇOc:Maё"؄zS663♒T,d&: FxO >'fFUJx^"?hfc)>i>LDPH-A< Z25bZY?5C2hQ{ Ro\p5'Mj7ܟ&w jIJ1РK7cKo-Rwe5tX  wXlKdXX\V,=*0k9Q>Uda0ruJ~@)ІHX!6/QU/]70K{W#%i*{#9:H)2cITtA4:liG.Vȗ 70,8`NNu0H!Pыܼ l:pvs|f}E{f&GoIBj̈́}z V$KeaEˏx]R4DultOEP^Tf­10jxL7) II~ (r\`G2gC+H*Qā@Z9@ھ&8.$ޢUG+|q?1MՒjVaÀMORϗ[gOVt}83bi.T3#pQ#2zLLQkkFʦ X-&źe$)cvi5xA7~l{mSf ^'^3u]zRr6kVZ'S$Q~rςWH:ZT861A5$t 8@N$] ] i3ٓ),αxmg?VM2]4eQM$(;?2,Y=窿ΰPyuYG{dABڌU4y<1՛$D>˛xf[{L,Wvߤt[;.îb}Gt{ } %{ _2nsObF(yd1nIרIևo;f1MЩ2fi“iXVřE9`aK+sL^JF.HA8JSZr23Ei_}&!P+˲; rdcFXx;L>=CGv/  5? bI%zp|L8by9[T:p TLƈ^R*lzYZ][k,!|xitc,A|y7 6,oSE}VuZ`݌k8j,s6i1N'Tja0֪پƥ>W~"1e4rh ,M_^ Zgɏ7.}_0ԉF 齇'ػ&pȮZ`}E1 Wzł: J@ LoJhxB_4$xoPA֕ kU4pbliK֧g?cr )%weBܔ ayI?YyػuKeۯpL1בܰ y.v L./#?؃υr l G ^_zVb)DY=Kv1 BXL-d6CĂ RKbإ_/nP|NZ&*c<3-rI&<"@< ܁Pt~(]my''hpgfV>t_p[)`$ |>|cWd%[˸5^A<-ZB o[եlGRzdSI-367T\.>nObe?'hJm^7{aVg.PNMpم^Tz)7?ch VqRheQd(zXU*58tnOe+՗7h=\HNEVqQ 섭Mwx|UϜ:Xe=KPk],v1JFE@ee绉#\qrY/chWh<;MJ$4h\l [8!k*RS aWM<\;EOr#1dj}:'%CLf)m!ɹPF~y簌K=^4Eaq`:~[瑬̈9W:TU mEN%ҼD׍VWV}BMCUr!ԘUxB5Lh`օ1Yt~ `[øwƃ𺬊@s g. *PŴ6:}1܆s!a$F'fd8`awX鉣%< h Ƨ$, S xQq{փSqQ=C_;F)>gw.,Jlĺ?9¶=D@FTꈡҕǏ{}ni2AgKRO⡐$_w7pel!o>[iJҎj4,ňLKN!3Ÿ5ZIŖV//]` 6$򃂎Nah {e;c&:(]w_c'8i^.S@ڹ^5%v|3/Ɠ"U*QJ3bdPݽ(<"_iu&dUҏ܎ OYƜ y.q.^'z7iB/7AA[W0@Ph2Qu2=*ַXcؤ6CXGC 4uXqvN:ξ'na{Gs/II /Q&K,$J}%TX~ubZRIC$ށ1h}r`+٫TCtM(13ܴ{4ˁh*;2~ty1^jJtM#q#vgbhu]#bL8dМiLΗ9ZKD%N7aB_k9{dkV^̒802HƄk@zw| }vN|kgiV9!\W aqVzE(t 2p`"U҇ kNW[L[$4a$dVCwVKbztu qYJ7'@p)g#zo-pܢ@h >.òCzȇn>Mr{)oa{=*`2oc>+b֩?&7.d,ɢ 9YNzXqTshՌ;N̴BV4,anZ*I \a"a`TwX,I5_ +eތ6h,&ş+2X?%rxQئWU_=1Sߣh`i8CIӶPx6RDX Aus ^5?3J~'~ɩmo"YBUL~akT}nmLUp~WE)kTHSنÛi~u_mTyJ려w=񝀛8}Vfi`幍:XĐ<ؚ}qlg|K,tsY`7P#30 )=c7i7"FXgDlĊw4ul^3EįbrMi섟|j68|kVJIjfB⇳\ID (Y) & חǬn5&Kဦ܌XFlzZ ;d6;)>dI&G=%ʾ0ä!LSڝX5Ykc$gU~cB&Q׹{5x}\RrHb+jUG< LirMF eޠ Yث6 j;C$G/:a?Y~f@C6V_X1v[4tO%UAHko_%+G͛L&A|wbL{sВ^)P{?ʠ2Ɗ&z i45Ju@1P5wqcwE#*=xnt5i-ӴhO7"+RF1ab8X"2A7D|.{42v¾Vv7aSL='K<.~0?jkaI) #eSGhOk)ׁHٹ֩3A}:,DvpXe s(Ou&Ç=`RpAHEWf8Z#Zi:50GBXS]ls-᯲;4Y).h@TJ;7:.5ൂo`N\tGaE7(@<#dh/ C3ãe}*?A+ dw+]bj@.tGhÜ쇤 4?3 8{ZFWHxHi ju u.dz a_(4.E4+cmY}?P0 *]b <,,)Qm.8HnԸ]dʄS}Gr,.HRSdpw@nH[C=xtיgqJ&D{-Mqк#׬Ҙ # 0-O%Fm(rS3QnZE{ mh }2~x2%{$nj0.KHc]93l=#Rjp s-5SMlB"!]Y9e'_. pDn _9k 6Ӌkz UQZdRpt6]Ebpk8aݘ`E\EyPL1 ?~FF"U+XE b&'!Oy+0yBز=&s"%ȏ,C/xӚv Ko^鯵{ 0~*|w#=?\`F +y/4/c83j h ꃇ4N~ye vBnjXQ#VMPpK[+"O;uȚH=@À|^bCxزyFPBp|!_f/isyW2.qGar9Iylf!1'Z۷hwZ)E-s'Zup JTIZ;!q㛁Į?kW@/KmK)ȩb$G^s#(~~9rKI)ﯪ^P˧b iƓ,U]ȠH?E葀1۲a u߇vsrK@Ez! {`#lLTP~dB7n(?m =K \W#1h/ 2瀧Ɣ'ckFYj6?hac I| e/JT1XmSDN?DYT57ђR"m uRtyG/B]\+6qS<ϝ攳dMĭ;͖LY{Lğ{r>sO "䮻Ŏ砇' a >|iȹG4z1sUbz 5c Ӄ{Tj\՛='JH))J X&_QL?L?=`$xN0B0zJ+ľ8zILb$!N 0)UP3{KBݰHVrJ6d=L]X3|ey;+Ӎݎ?K5BS'V!Pus~