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 m% D I/ TortoiseHare:threads=2elapsed=7.700cpu=12.456gc=0.304factor=1.627zXZִF! *]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHly{3 JR̎Y̷G'="×]%%OsZZG&Ie jSb\¼cR%<9:4*D0r~9e8 ~: W{3EtD %.hMlj 9R!s jhe-}T.j`mtyJb"? s6>Nmѯ % TortoiseHare1^nRz^1^qg㶁\~.ا,1mfQ6|opm2OrܘfmO{ =-4FXфkҊXM ;Nb]8C8Szﺝq6:\@r$'PiIDS07e7-]V5ٴ/Ԭ[Of 'AŬ=z*^7VmLdia`;Ϭs'ְa9QM>U5nLN m#rKρyO=K(@,j0kl(g! .T[%iN$pjU“n,oe"x9ح;at[R&=_s_JN4uO xֵm>!P*payV*.K8*9% &R40y`}bUWNL7FGlJ+Wq¶7l2Rǿ~g$k,54Rֻ9ɧUXt'Ԝ҂Y2AeG/ Ya}m.{7'lǑ!bJA`cQ:/Qll̶̑Z/@ET8}_R5ۼ{%&6Ctr~KO4΢Mor$ϥ3φ&shTGiGvsK<)MYdMAjcءUʔ|ZgYZ7zXZִF! .H]ŗXi%zxz_ F)x1ө^7PCMC`$`jqfJ'0琑/0irXKї Dp/gT>Kyf.f?X 6qCۮJ\!n8Oh3Ld8o Q V>3taoJWEef$a;Re]Im bbz(rs`/BHw$R[L t:&kvl<8mG`-C50'eE;0_#ϦȄZ훱]_ZpP_ּh+U>ة'cqb;Rŧɥ~:5_{&2-Ȁt͒LQ+{/$[< ]|gYZ059b39b3c71e408ea02474875982517bfad13772 19e2cf0910b7071efb7af8472164cf296f5e5ce5 42400f19e8830f3eb7eef1e599b0298d3a617449 8b68cf377068d359bb682e8177940c0d05e33582 cef405a4eae01a712fb3cd3a2ac870a2a29b7033 e6620216318191273215b663199973260548bbd2 fec8b66b788018618e3c3d8415bb381ba89fb008c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3