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 55H3 TTT ]/ MonoBoolTranAlgebra:threads=2elapsed=8.906cpu=14.280gc=0.684factor=1.607zXZִF! ]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2U,%~ vjRB{Q#^@Ap39㣬R# a'y> !Kʊ,x3R?vԥƥ8S/cըiV»h4LCZݔPjhw/ak:F  B`WsgIk(upOU`ד6-|5^U"lx4zO!Q3f5;ap:T!j޽-B<n< eJu C9MVRȘTXN$<G"۽m`0K}{E;,"@'u]WI2!gDzgYZ7zXZִF! j]ŗXiɟjg*Cp a:~- ;t0JTg,ϊ-{.D;VH<؄Zs%*"*MTvX7ޟšn9 j{W}Q$ ]ܪlCy]ԇ{A D<839۠RTg _6'4+quFGAP73g)oL7D@6#p1)!6EbgjH8,nf[:A, w%06v9W?-24NvfMڟc>Y=ot+b# l3Ic!<')gt"<~ 7:*B~H~SlqwuB)AIO8FH1" zQ Uszz M|w&14FX{\z6,8),7"חLKќ䪎Vƍj7<C 5/GXR}`TacmGۓ°Hv44wT/X 츰ӭ_ٴ|`-+*?dq өr>I#7X.ԏ[fw'Ryvv`H!YWI]-+W 7luԾ`ʉd2YH'6,R`Ŝj+x,j/hѨџ1~'Ƥ(! ip7J~)(XdP\!.buך=9 IDSNP ڟ@닸RL$30&Sf'a2O3;ǐ;⼝Gޔ7KZHl:I|,t/6`W_fEZ|R]Ilf@ӎNI:%vmtۼ{ ?x[f~ʢ׆kyA5"R"exբ h;img%hA9cGK,WUXdZ٠Q,<;J S> Zf6fowC Ɣ \.@uA(gYZ609e995a1cf5f674896937868fbeede94f057df4d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 3 MonoBoolTranAlgebra