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   U)D| ] Twelvefold_Way:threads=2elapsed=105.389cpu=148.932gc=3.540factor=1.417zXZִF! 5]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?:!AR|뷂Vy>VZ ` UtH1 U `2OIއ,ԌWp<)942ȟ`{S h8C ;p q_m#d7ϳV @DJG5MLZ,F<>[B 6J7̩O>k+Yn?a=TR2aW N=X1 Ź{HYcMT 4(0Yr/0Msyz̟({?n<@W݉#P8qV$9!oeWE;x>pB<ueHT&KfoݿcAcڌ*oT;F{,QN }9%_>߸xMmS;Ny ]ڦrƹ3Bcn\y 6.^tsaǴE^F˞6GA[ <Ioxwz C6䅅!{FB֡ݨ\6Y Xl֚.U1cU#K LZ\Dwfz\~l0^J_-cWx<&ce>Ha# a@{X;&Ŏ7V4C_p/9 N}>ߎ#+\rJ}"ʼn @BςD#MGYAtȃ?H~PWu=.(( ^YncLzQG[kTନi[3*0兞-!H,5ΉꌓFY%-̱Y9 KYȴ@ VK0-[1o. mw-\Ks_q/tz1Ju%NXԙA²4uQ9Z k^s۱gYZ7zXZִF! 7]ŗXi%6Q؋RCa"t!s(DG<{Y@[Ϲpx)ΏU)\-]BAd5d߲¤U,wm"Q6t{x!64M2o~l ^1vx,%o DxQ`h^U5W ށH(onN/wETƋW#h 7bKZq$4Xw,W|fF7Ld/\UXzLV:ۃ^Ad>>v ޭMWzM<YGt&v;BH];ZR[{"xE IԭbaT_đ0EFY6|H^RJOWKɧ"3n(ݴf- Ӣq.$Rl+!z[G͙ݘ qma wZ'8A/#!9.ѓܯٮLrXO.5D23*xPy$)In~}O. jY5d9OSѥp`'!u3L` u|R~Obz~K>a"Vy:,3Z Mi0 [e_O HBH(fEY_DEtZ,]f?:d|KWV}DHYlBa.B]anv٧Pkz*c:*Ӗ&ca*)Gt@R9'|]ż ;@j2vis4/u(^+O4,sJjD M TSJ6|Y}Y9@0";/2"ްc.w|Hܝwi3cgL' F&^aEbXG)=-+3̼-dGDpb^PblgUy'YpzO@d~4V( MA"7Y i8âp[ N"r0j 49K!q)L#iUAFs[BHMn |OhG\Q ڶ0+2Ґ:;1eGݯڣ+ބ1Ek: 䴙FLc F;? P){ĝuT:~B* Ce|E[Q_ :R~愤F"E2dNTNy nﶦ).b5>>;']H}jd̐|.._N"TC-wq:64F:/dG" -_ 5-շpWF]XInhٻHȢ@Dury|ŭ ) Twelvefold_Way5[\7*rAFŇV:D$1B#3(Tb`N)NQhρo}N7G{ig1JI!9_+݈j8Im #g5GXH:LDMm^mot34+x_Z)h"jbz{X%ɠTxzqHiK‘!etMhX˼&cN҅;[m6 ,ߗ5[pJ!;5,BN ! C#%Y¦S9H5'@m$Ln/YKYV h'<;Z+Oz5M Q2Kg`7[ /k4Yw*sW¨A?X_Z [;1%Re=QcLTX \wsy`g% AC"ti%yOd8$B⁣(8MXW'td+ x!}pZD3A1tף055QɥrCc,uzd[ָ$ k&u#ǩ6_3ˆ Q@ 1B bvwcVHrZ;4m:(.{MXQW8S/(8Np0jBs%e1{[O6pk2D_Nd+&>8hَ;LuUS)9 S_;΢ycv3zd<^+?n˧^; cf| Ө=M7+oֳD&;ج95;C 63KbδQrU) 01Jĸ ~Z ?K;?GB@j]b?cܞ ՜{o=qA7kh+&,bmWYk ). G='/>_R 3&h#]|t'B$/7# BC蠵ïߗ2cQt>̀;iXVӀ}ܰj?&r>~쏞}'fqP׬P2g S,i4)6%rx_XvcӞ Dqu IgT%rmLXus3! s֧R;K%1+Ya-(-vSp7zM Z m9|A~zwu{ΆZ|_YWDIm8&-N1Kt; y__!_cHxhdԺ>L҈G0fzLfULLc(FuoV}wĸ'ןRftڷWI8#`t^A;j|1 Xʩ*c6 A/qe#A%k.QyJ|B_mrY,t#6 =FnPD jhh-pV3b`h%e~MF1rt#p0҄ϵ.prAé*OcPhqC1ԄS%4[KCe4'_s!WJ"'SB. d_D|Fg\Veu6CڈRT1"Fަ~BXRm63w:1@8/W/k\oT WV#.nQxt1X> MpIF)LjH K`T޼) i9 )5_~%碊߈='5/FZۉ"X2nrlz Yl.2ڂe-6d`2 +o٬1hڐ; +18$Aե %" "X$Jk^ahwsZTdS^dޡ_`Dyu)#1Ǹ'Oo3'WԾXS2ksñ5p|գaaTI̼%^R!` !y+./`.6U1s=Qz$!@(j,6de719W_,U ]x?v] xT&IgSbuPζϼV%y+j7@ uWNw#ӮW ?pnKozU<G|r#n52 tR2=ܠfHi/ &!14fRC' *GL hkFʃ)(BR1Rrˏhp c'DyNp`D?V `t >т4I>Y£^`c՟D{iZX L;0iMgIVNr+ ß櫷tu{."v)h bdc{ӏIԝbaT#J1 թڋT(D?"