SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 g L<| ]/]HOLCF:threads=6elapsed=12.258cpu=35.240gc=1.848factor=2.877zXZִF! 5]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V}}8z$QV!:} ͎+vTëm'3YKЇc?6fHx<}lBty01Э+&8_ }VlLMJ88@aqJ ?}NCjVc T{C%.Ͷ=NI je w?;c}G&Zc1Q\zq۠4Uȿ݃Kh{<. 6rD7S>Oi$N镽cM2$i;͕ mZG)163%TCXpTSy5+Y/q7 =`ǭ]kf6 mKsnʓXlיDv` 6?FN)B v)M3TL|:3l4T]^`s\f+.Zw#kňs0)rĵ Ye QIU~ d`hőC=n!RQ RӇɇ9S2]ʇ( /%#T^X|LW0/o|X7˿"3^[`Hz  @vqhjijn4 OQP}B!hqS/(!S-t"H.Z>Od3WHJ5v ȇw݈,5o[b['~JLdNqlSA}h)Z1,2vhJZ5IJ9=o;ZYB|)xuo W$5+eڽNfBh l kN*RD7gC0mFaD ]+fpIk9sm|:vv H9WN 22-H)y*+_hw}Qaʂ( 肢 sXPUsZaVu{gr mjkRh5nhQ7MezT?1ϗ| UK~n5JLI,~bh @7a Gi;Į^7{m3xqqp-:gYZ7zXZִF! ;5]ŗXi%94j3b9&Zpr}XĴY?4Rvb#X9r%759*fq_<DžT} T*9njWK=0ްG Lnks, ZV+9PWph[XmӅȸ-ՓnHz/kQ GG0dU=[2CMYpq|0FloByGb'Z%A H}[Sx\oCr":1ZzQwO)sNTBCBR [8*>h13P<^j=,:~I6v!Z"@ן?,s"E/ۋV'W#}H < }jyŮ$-ڗwKwטwh0|Ǖ$I([{PWh7^@Jm s@mmk૔v2M1\ċ@ZD2 Qlq0A=sյ aI0onzOQ3~V0gdל rn zeNjUo_Nudkl.Bl~Nd5}y2MWI)5Cv6$ + n`ߌ{D^cDTe|hݨ;g ?/&vPNx30!|E+XRfBVT,4Q9tVo}DMVL$1x ^Ilwi!mXk# 30;@̽=l:wu-D3g2'1Pިu)jv_:d3jh% wg$Y A6dݠI;G;EcHɺHT{*O;7sq%{#(>KjuNQ AHNHɣ5bw ]FxE& FΟ?5vZsgYZ042d2d1c354e5af58dff82e01ab03073ceb14c124cb12afd9789625a4c2e40cdf1e2d0b3aadc16e0 7cbe2b787552e2377b1e9e19550fddec8825838d0a02417d041b73ead6339684da985fd5182d7ae2  HOLCF