SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info LT< 5S Complx:threads=2elapsed=373.959cpu=659.200gc=9.832factor=1.767zXZ ִF ! ^] ŗXf1-/6vRZyߧ^*a1SΝc|%lX.Zؤ%DXGܶӎ9˖e{s?`JaO]1h1ԇiwōh~\G)u&Z.EYy1t$okcW)LF(#gI e?$@'s0lB{vAGnLPйi2VQ&jW&Œ;'kt7$]Ni{erC˶^3c"DmiHiD_Sg<(}Jji3tdHDRJY\LDrOrQh$[x"z@i\$9ۢ|_@:X׆ފ8%ڑTϔj y$dā`fRQ>·5Q=wB&<1=:]^ eGgPt)\J?Pv}tNm7."4[-U'>f!^KOC:[4Uk aW|Om<@݀eGĩGYmmDVPǵr4Ib>ЧkP+24YIZ@be?7x^UvCy\zmr+/O#_"2*G)m-NN0*;g@ZfuQ:TJ!3MrrT?O#OY)hY_e{G /l4H$X37~x@Ju`+%y{o&}}$bzNR/1xv0S`W'XJtGK̄rG1+FMTrHŁhusqKW[>;ziϩ[xD _|MjȩV'Pj_nkken=IE21JT%w6AOR?Тw4pW1}a"Ӷnn} Qsty2]^QKn9dж*V;<=pZ *umzL>U1̌:uqw YS$%J!0%MFݚ6@.
zB1ٝ(f|BPt"ăt-wc|o~@BQ4b<놮MSr?WKoZUŀ$Y[#N}bxN܋B6aA E X/^x I=bȀ<_؟Q6-[{!_EE)ET_LbMH3!/Fۻk2h =HSn\vSv7aմé"٧V%*}pKԈ{mqaIO5gaUrwgsRPyF,ejK^KC9%̆weK9t^r"ddh5ȉdI$c5Zg*@Oi.20oȶP/9B0`6}W6[m'ugonٴܱwry4ekY0_z Q!JuwW(M}0&cxͮ?C Cv/KߪC]t=t;+z?AL1"]g.e; j[:v⊣P T+z{ ]Yg YZ7zXZ ִF ! c?] ŗXi%6wo%q[`}Y]P[O(UpZ@ $s'@g% $1|q⠒P+;O2aO3UxK:MwseYy6Okh&g䮪~ClΖYGEݱ.2Tw' f-d/{xkU!f}!Ϥ/n uOvCZ~(goM 2]~[XDz_.Pؘ@rAknJ_4κ/?##0H y&X.Xڥ{[tn+R]T U_P:;- aFu&s8YtT &c'}А/?6|=IhPnW1SC12RHu< DȨȏKv4`%M؈*rqGq5XOϩ@-}k7ƶa^zkKt{' %JnxvdȨZćeI&*-5pИ֎7f;'5QAd#vG2S vɃMBmu$!xi L7<&b;k7?٪rKiP[d !dWt$9FvJxmr->_n'#XФ$!5eSp`Ne䑎}k ˝nx<