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 X1 DD ]/ Concurrent_Ref_Alg:threads=2elapsed=10.005cpu=16.188gc=0.368factor=1.627zXZִF! .]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬D 4uVgQg@w湳0̐xIU<v>,e0j6Og,Bϼ^AS)3u| 0?|)\zZxhP]eQ >sV"" U d'Vbuq6YaD$Q`ciu^ԟvo4.gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduf}]z~Qr8,+(~/iOKɉts2V7u5Р5~s57 g;|0`Bt$lqW3 7ȹPɔr/Uxp#;܈ +h8leΠʫ@xAxKB nqM^=DG:$$fgnuDD޻[n~뜤gYZ7zXZִF! ?Q]ŗXi%92M# Gjđk{әMD:8z Stx¹iB4A>@Y]b%PR1VܢJl.v_t614uiT46^A&Ҿ+V*vD՘ {)ʜߤh*5ŞC6p EqZ9-;=Kei2ǭJ izk,o]l\f­{TOYxC?L;"k<\aCDmkh ToA-a]]#ygH1A.n]}rK끴1Y$yer9FDAe#ۅ\s[Xx~^P =q^gNueM,؛;ƻ1 &*{In mCvlW4+!\jNx \%@fԤ}Dׁ(YMH:rRƋ Bcښ|F#<餩V{w:= ~m\Ȉ-TfӞRPasGlЋuA~$,3=3yO/[m$~yM\vƧ 7eȧ:yz=\"~ 8gYZe85958514f709f590b17a7c4df28e3c51503845f02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 1 Concurrent_Ref_Alg