SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info I,4 c/ Abortable_Linearizable_Modules:threads=2elapsed=76.622cpu=115.444gc=3.616factor=1.517zXZִF! ]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3Y8eV`51UQ;;Px_Խ6@F襻FNaAsf|Nf˟:]Np !I Abortable_Linearizable_Modules 㷑W|E "Ne%&%LI,lWEdK}L UFtS/^-_kܡ⫊@ok^N:]ʍx,iHja][ w?8hICWey?<*(H"3 QP#E#S[0YtK0֢wd`KRL&GIXݹw ƒښEy"Y5[?\WƩXkGuXN!A ; 3GS ksؽBѨY"AH~}~5g9>J5_ȑI#BٻTYRuǡw}h`uњ Yړ+R1 '߅Mݾẗ&'h/Et9Tm.$#}zƿ`%:1h8 Mz4;ZarV@7q7[*Aast:X7*5X_r|w^*:J/? ȌUk+O)/`]jk>ymFf~c6=R*2z/xH`1y7 t SaRW&05 V:T)[dMܢh'sbQ%3u"yɸ`Y@7D;s^.f,u/;Pmդl܋S.U5O";BNbxYOsMSe ܒgnSz9&B}[ ,13%uwmϐruW jn*JX %LiaKWTC) `HXhQk}*=UFlHl==D)%]X UQάJS 1?QK#pUe^/'6(llkhm-q5'eLy@oo50'@n)Tj߀8$GDanEx"4rM?hJA@3Jw+}v Qӣoѐhq.\> О}?Y4PN"}آ)Qh.qsL4ϩ}K]IMO#*hj59+*[yz81wRlcAFȸ㫽d1ɴeVy͈0Ù{'X>{%3"D Zңnm" wfy-)!b%kP ;,/~FJnQ|=wL$;gC)r6\n'ȍ9e:n:COhG1OOE<׷5Cb>Kԅ᠝HNP1 K{d$_{i~&=EV^T8EDb[V ˣ[3쩡٧qڝh=0R6V&(]pXrPSt2'~/ V: 5BdE VƵuԽj= +j'ҳ!p_$;dSs 0˹(d1zŮږfR ޴6оq` p(H`uf[.A@Yӽ_bwb>A.J pȉ+]С\7:F#ܜr>j ^*IUEjdlJ|<  @Mڡ 7Nw2:N h4TpZY b$8znX@=UG: PXfwDXn#<{&kiHls[ZxU4ưN>#{MDŵ?o /y `T#QG^.!&%3,;n+GUݰֿ~`X՛^ eTz9x6rʿtGF/Bކ.҇պgMsx;;:sQw'5QF cpa#%np 52#7 sF1?Bpc(sgcˮsYFz&\9c೟q9G:21t>+NϾl#t0ļrN($ht(H"| ŞROJ akG儘.!:Enk\oM$}pʍ8ݚts!!iX2᥷y3rwoJB\3,)W]D"^LLIX/\Eh´wxv$VO,aTp =l5lK'n%LrW4"rȡ&-8[U) P y|8ltdzJ:edב5clMm;5`^ϴt^M;kz4҇NMgXW>v~V>.E96wwQeF V`q0|䟙Y"S?qS$ JU6k5<}FPwj,a3~ߠr3ܠeޙ6٭Q]0yݾ"/mtEӹ`X4dTT)ELY~11X\GVo" lpÙlN_Lqs;=boyc}GQG4Vvmv>4G6V[71i2X3.xNbCƆbWO4LN7<7z6@€9ބb^0ԍnUh1lTf{OPSG=Y'9խ;߬GQշqa 템چYF"=Xe7 ,Z 6z/8%mKu;0YT.)+9όRE FەD0UT(k̝ؽfY"SӨoS]HRȰdo8X,i xZx{$7u6H;LxN 婽( ,QAf% >sb@'Օ&2t.엠tJ!>uR5Ei+*iFOjjQYF/vx%ޢ{PEuu8Ƽ4Fa޽9,k`U}3L"$ | DS̒:+Q9/P!tilswsQ(\FmCPMP%PQ(XIfF(1Z@~k,X,\ P☈2&o\vݎvS^fEm. o@U֑- _: Ϊ=wn')  fy%6+c!"c;ʒ-GyڥzdPU .vT]V8KrՓsTDmߤ4v?Qd39SȦjV\y''ҀXqS{UD~F (xU2O$W} {!|x ps)/{qpy5</dоXk<6qԮuwmT%~1i*r+ʽ5(:FbIJ("eb?%q_FOE@R_a9|NE9| &ui~[hSTJ:/G|Tw WJUsӳOH+Ȏ WqT}`mZ.9#^ݪ[VlźC.ͫT K8!Y*$죾YtbK_Tww5*6ɠiobc\e]`E $;n%f0a-~lԀ|EsdgYZ10487dd2f4d8699df14c3680d64921ab8479dc30 45c4934f1cbbac164f231f0045e1dbb7811a10cb 4f907c7274c85be908794b6aabeade510546fea9 7da98085641a29624f635b6ad31482c7327df3e8 835e1aabfcad258fa9c4868c7dd6a211fa3623e0 8afe05eea8c05d3353fd9c312859e90cff55cd1a ad8a8afb5e787994c9e363e9c372b7113dfa9425 c9535fed70ccab764c54371a0f9a58d4bbf1b624 d3f54f950f9a08bca0c34f69dbdbf5aa2c89c37f dcb85683ceb493af307b50c9bc5ee30709f1b642 eb7bc95ea88041f2091a9aa1e017cf88e212111b fb7da4d16fa90e303b41eb16859e10ea5ef492717df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56