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 !4 ]w Akra_Bazzi:threads=2elapsed=95.052cpu=170.264gc=6.716factor=1.797zXZִF! Y:]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓$h#KH3늃R%& Hb$꫼k*#;o=)*\Ģ.rj?kզ,Ng+&`aC3Ǿ󯠹rJ#4U,0ia%ɾZQQ q& ҙ.5΂i j :}@rZUuw~tjtd'51)NBtVx/iL ʜI7pؾj':.!Ľ2)[nߋU vf0L* n.Փ&_ s?G7y E O&2ߵ :g+60S; {淥-PT8_pց|p%m%F89Xġ%$41˓l*-);Ma5H i8Pl7WsƭGԘ#HCzׂws_8/G^ ݰIY|Np֜~ڬˤ̅ 1rбD2[e S`~Ew+΃*.bVBY(vfT:[ť/AWnї}|T{[ff&Mk_fhs} eO ƭč}fX6#a^뭭tZ\JtKy\D/ :cMgb ]* R#\Ftj?;;>[|Wv?S#p܍(_#Gv?81˂& Z$nuvxXa DfB¦GH @6|I|v>ja7I BM'UHq!~DF{k@-͎L҉c՜]JʨŒbcrUЯKNIނG/P2k!ΓDŽCᴃ8p|8pm ,UP kr"\s:e#)aϯvisn3{&6wG1 Li4S )zJFּ}aNL fޯƒYi۲"A0J'q1NXX޹ܣOv+^ 1.L˅BQ ^gk#%P]Ev~{.-5/߅H=R]*IȚX_<QgXDKĖoe"'Z0|l%n /7@VFu RcK\Ež_jXz\nzL|őD X WpY,[uJUo#c?;y%N:ľ7cvU@\Sפ곃Z A-ot3%2'瘔ě'i,020!A3bD, "rtD!0ǜwX:V3D׮{zy(T-ў_-#Ps2g"Y6c1%V5uT7Ux}=>PJQ!bL%NpzŦTcDRKZ c^eJ~\rpQ'|M}E muG;凳9͕,l|ZPry O8ּMDO;_YDI4 ֏$z8W%Tbi=\6.=mC_ɱgYZ7zXZִF! ἐ]ŗXi%6.Ԥkf,F6l rJ@ w>*zѤSa4}cTi:@w/@&Ntk DWOO>Mqwf*"%yq }jk "mT>ڿ-k Jg°El |1nQov]6%<_*@Wٕ d5ҍ9!h*0~P>CL9ĕnq8K5"*>qykvBZ(B9fbt $Y(LhP"';SRțB9E7 WQ}QůESŵG"yI6@Ce_{1)6w4 Ġx R/܆e>~Qi"E1]ڞ Kg * +z>}{s$= Gxڢxgk(J@w/킯 x7|'ir=>6'ݓO| 8Iň7lEE c>:xB侢/lVjL'UsL%:[ 2=6:NI.v5'b\ c|Ew5s8ڴ0C;MVY;4bG5ܔB_,Akِ4E{ OՒOQiʐq>;[s &@GEIfڣMR7+@x xۜNx=0D=q a~A‡2=pgOײ\}eHA+/dU1`^GMQDho:ۂi@7` vfDQS:՟ AR"AqwLX帓0䐂'qwj&ΏMZa÷>Yb2[s=$[ :6o.,'yޗOw:nH"sEH Z*OۇLi@VeF̄푟SWou{4!mc8?O6;Ex=D( x;x0 P[spu[0]Y/,r1oفənx,FmrbԳCzKzAD,#}#rѷޜ& K $\yW>{,3lX5'{Lvbsw1h2nz4Ys^,hgEiu X#{ɏ~D Gؠ_:8PˣbR7[Q?d+{H0n]ރ~ȩJE,tgX"0ہJȍ r?$)P8zƚ+6kJ>]Kc Heot?1 ic% ya(j7j1̰Cu;n)vx]:b`z ^h!ZuL-OC' 6L ú+HEdJI *䥪Z_0{jLoCX2]C!5R3jH^ҜD-@xD<&PƘlNW{l%\ƈMWe_7`(dNv"{*:+?Ӑ'kw"$ݲL HE %j^ɬl^@C B(txi\FX1p@Y/#'06C ƶZ.ǹoC]6&¡N/XQXLgv}&cW4 T|_)Y_sgqBGoE)7Ll]0Hnc@Rw`{F+XkA&/qD#lR[K'>Kc{ ,ZbJs:|Ld ]h> w/1˒p J:jͮ8mT6r$TƷ敯 Lf.îК}ќe.@zib m)G_[/;4m8O"pW9?.-*.+.<.R K*s lǑDhS tǟ,4W!t5aWF<.[zyVamj= -4ɁHR"JF27O `I[:Ò(<r.T7 cĊjv^);x}-GG3%[i76g>6q+\g0P'-iAܭWBbuq-_oY^"prM_f޶{xJSUaJWƖ]?*`?dי 1Z\]QاabՃNB*D')6jRHa `xŨ+NӍ㲮o*+#w#xsiy2$@On% Vdj-L 9jU1{+7CU5',F^Hy2n~ Q]lz+|1b3 "{WƷk` ̉9]ҲT&2kd]ZӢ+4&[N6d|!~!N Sڡ2JNC3=9 |eKFAv;z"3x|(|lЃ}m&A [xJUW=7oY;G7.6$LŞ:O7 "/W*'9ݒm7) ^P\jVtO D #âO'=Cc0UCQ;^2L;iiߠ^[_ "s^U7-Tx]'rw 3~#EZ襅iƗ=~pLtW")y5JmpӐua@F_6U 5V JuP;s*:J԰6`KVˀF ^ea $Noz(CJ֯KiyU)yL&'=e?R\/]a}Y+Nv`c̣gY̡P|^݋֞O}AZJ'\r5 ?JsC[(+Ŝ+ 呒WO/M#A$+ Ŧ'=ĞxF-.-%kR y)M$JxIwC׫^7n: GafGR5Sj|1n&dӇt<>VIng:6O( &j~@ϻiJO*|yy ^谅GJޞl!А C 7:{W:KMUyL36qm &E72uW*Ueã9[OӼR!cd~+*:zyЍp@dMa],mbIEClOa*S߆#)+`CZ,~'*grzyaceu@.,]]f;.8}&+fJ,xPN{uxl[RUilkg:t3kj.wjJŢ3z=3I&>/ rp;ҨKW2 T,_Y!j]=I] ֦!v!рZAueש aݧ?m@`wirՐrz0^|D ,