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 **KI< c/ Abortable_Linearizable_Modules:threads=2elapsed=79.364cpu=120.580gc=4.032factor=1.527zXZִF! dt]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3Y8eV`51@V`Dኊy26 ˮ"-b0 mWXP2OwS Oש"wWxgtV Zw2[Vj8O'di a;j, i#`Ks]#/PbIoLIE?v[. `Kd%%K0~D鮒^ Mg)]X=::?V/>8na:>+#6~),S*?}>8s4ui E!MM2j9<{-=^1h8v쾷ȲyN?C>M*i9UaOa"(\P d^aHIcw>O_*CoȚ?eh4CtY`LeKPˀ}!ɦt.L;a¯hwO:YF>XTڟx rEuDA9kv^|o(݃1NP {_[9ťlGd%ߨ6pX3P6l}M"GܾfWC6S$$IvHRnpA eA*ydsuz>IA%UH *n(;(s ;܌˥hF=`M6,sc ,;ƴ,QCxorUfP5)I ).DD~1䄖7w͆A{/䗊u0(l[<PMH* Y~𬓕8xʍJ>8͉Z# c":i30ory.v:`;_pZAQjM4iEd2: 6}lovؑΕiK:'8#S3+c6' I)H KH9]mgT]wlBa]/nʽa-"`p\Mh"IzM_ZTY"R_ TXS(Ӊ 7i|[fBa}k7tkRMY`Bg{eC&(~~>0{2 ʝ]aE{ܼҮg 4p_e0hq%g[{PNY׊EE }!cg'H@ƫVFTo2suҔWMxt?0"lqzEd=Q'kE+}PgzZ&nX1s_\."u<~{66ThALe rV"2l 7c %O7T<.w¡M(pcϑ~+BSHLzo*ٸ/hX\&mKk6t~B%V[2y! pls;9kF>,(hrw%cpׁ_.Ԭ ͩ̇ ɋBhjO%j(F?z dJ&3;tl=36 DNB8L1 ~\6t#=xgYZ7zXZִF! {_]ŗXi%3fru Q]-AZH].czŎ\7rȺSd_g@XT{/R8<haI,)W,hn!REIG%0d&x0)G'D&^9T}R&x71YFȡ!LFDVNcPRkhd3Ks fS_ jCaƺ۴@)`KDm4 Ul9P߉/%0o.G/vw-0QcVLsLю\Tx=lG. ʢq;+Yl6/HȐD8Mq@Tq` 0Vʿ{6??ZpjT41M 0Lso˒+lܺ7 <#>؁g kKaFܨJb! GTiX9kzuJ"a& )X0\XޝC Xyqb嘾zQ5SY| _ЛB::[`p;?x|@fn aHW·M3*s7'dL`Lܞ+~r^W+ryC@6"Q$R@btgLO+޴KijsRfej{E'YpT,V%ID/Nvb5 o%eZ[*'<(w͕`ܖise=T.{q0ڔTg^ЄgR̈zWtW"p7{A` w*>s Gе_ke4$3й }Dg 0&QBvބҬ,<ܞ͟Tpe}ƂZ26_TRsJd[*GM4AN&?A[4#(BumQh. pEjWq[:E8Ez]oa4-I0rq.4`p< SjN]X1Mtl<6cUk=9J4b>F=Bn=#v2M%ӭ믝؏P UQ+2 Dy'32,7ucwxP4bnL*bȹ˵Իۼ4eE> Jx 71Bዏ~Re,읳<55f{SS1,k=!׽Z6>XipGoTr*"c>&2iפԥ=hˋP:> (EB!e~j MAP)ɪO8h$*E;~0hJGgVڂsP${~}bN[m2"%rbzZl`Q_G  h'/d.:¼tQx.[I89sABjNpt_mhRIXlS[ҝKrko/Goɑֿ[r,b m*lKgtHs]U89xF4w4цT" Z壑Ǜ5 @zz`VJN pFi8)D[v6;\x jj 5J"`o3ưIwvSMog>Ò|fpP䍬ͬM"#@笰$Էڛ!3A+JMXhPdV~qĈ>mQL=_apܠ $3 [=z\^/@݁ΥJxRmXZ4 L'P A?atJY>]"P|MaOӱVK U&^>nL@q.4/ah؋]ؖ!!'Fa*cjuKɁBG`f\fPz[?)[7~. ;HhmAjT<) AdT f%i gkxL$Ɣgf@sX/H&ϯA7JݎMxFsRYtι㛜$s#U>S\N4K^ψ|3\z{0|/X8?X'STm2oR*ְ=ɨ^"vew<8'Gޗ_R`X&Nn" 0."dN{}5I0Z)!j: @Ozi B,msġd̯Ma"ej1EXP\cZg7Ir%x]Gы:QS .W慽NgzeVYڮ[TДC 8D1?23 ,gYZ10487dd2f4d8699df14c3680d64921ab8479dc30 45c4934f1cbbac164f231f0045e1dbb7811a10cb 4f907c7274c85be908794b6aabeade510546fea9 7da98085641a29624f635b6ad31482c7327df3e8 835e1aabfcad258fa9c4868c7dd6a211fa3623e0 8afe05eea8c05d3353fd9c312859e90cff55cd1a ad8a8afb5e787994c9e363e9c372b7113dfa9425 c9535fed70ccab764c54371a0f9a58d4bbf1b624 d3f54f950f9a08bca0c34f69dbdbf5aa2c89c37f dcb85683ceb493af307b50c9bc5ee30709f1b642 eb7bc95ea88041f2091a9aa1e017cf88e212111b fb7da4d16fa90e303b41eb16859e10ea5ef49271728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7