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 7/  mS Pratt_Certificate:threads=2elapsed=22.553cpu=43.116gc=0.580factor=1.917zXZִF! 7D]ŗXf1-q恈͐7ӺV -fw0w]BjZjfʖ+hzqPek܃C*Aײh_j!0zp0f v"U3`ZzPV?}ѹ4KIh*oJM `3H VIbG / Pratt_Certificate` F[kPwjcg5SlfZp+!X'C1qq69HrKWCF]9]ؑ&ޅQjP8urhtݧ! yf9MBj%b=+NjTK;8޷n00PH<GW7}>05>/F9J}&O! UKvD%pV;*O5Ii~GbGx{x_9# 1,Ir :Ai VQ?M:ŝkwiHhءS{s 7@1S\E&&t—>kBk=pVfTKi,{i%<Ea2O>?TB^IycL,X"4첰0 +E ibrB<ǣrЇn"Y, :tHc(;׳-"&6xfbBLGRNƸw\mPuq&ɽHY)a஍єD"QZ81Jmg5jFx/ƟUbc3Xx򃩗7!T ~Ynu-ĝ_,ɓR_WB3JToĈgYZ7zXZִF! u]ŗXi% *Ԗ 0(j/?5R-c+F.R*mU: '3Zޫ7G C˚wX^R(;зpȳfk\Ż-60_(!Z%v)@{eLlYՙ;eSϥ[!HZK j6WfZ+Μ^'M8 1:d5R rA2A k} v&q졌_VzKg,[IʹP>'O*~,y⒕ULYú@4PRlԵ';4>KM?de4љ2ggj׿qJWy+-\&aƑQS43 ϭ0͕tƍ_2LeB}Y5}E=u"GmlAX_UA(\]"8dcF^ UA4Q538RU8nx||HX2b9DT Č-]=fo5eL} ?Dls#yszg6&D|e #Ox6~\wve Jb"qi-6D{d }"_\u+M_n=!tDl|D TؠdBby_\]r)TJS*]0RI+B|&r^yh:)()|ws%r[?>=";QLB:EAlz 9cudUǪed&AWG6|5zg9`Pt5:Q<M^0f-*|/.LN WY<5oD\mu̞ūI"ZR< -f)_Xg6~iY~pEQah_%ssZͮ gg gYZ08f0891cff2f74fd97fe4f8d9775b4b780015337 2301c1cb824b006fbdb66a4d295f158152cd3b18 44baec093d30bec4af6ab8a6da185f226cfd552e 853aa6b1c36ade2889faee412707bd981cd70a63 87a3925a58dd8ad2a034b5afb68d50f7e837f0d7 b909f3f92d8540ac3ab691750ee30dccc7d0a6b3 bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d c6595eb84f7f5b6ff8cf51591a134ede1855866a ec3dd264342ed5621c07e8dac37b49d23c4be517878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 f2c2e56b811424ca76167d3fb0e80c60cedb8d48 3eecec7643537ae98684cebfdcacc503a4b637ad