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 =5 |l ]% DynamicArchitectures:threads=2elapsed=13.890cpu=25.820gc=0.636factor=1.867zXZִF! n]ŗXf1-/6vRZaKSt$uxek$x="Ǯ6xPm͌ͮ`4XͿ߰HٍBe{r:\yTI'" PXf Zky} xnmbRzMP) H`Kqp'wޏC: bpɏJQW"G@k^dt }D|ә'¤K&&:NgYZ7zXZִF! u]ŗXiɟ:340Ψ_իX+jެDu?.jT yFa﹜'EY1j)V(9Uau+9p+`Z4)FmInIL^hgYZ7zXZִF! YP]ŗXi%93-~68{jK>U#WggY׵I|JiK6V%ߌ?KF|OJJˆ]pv%}z;ٮMR}IM$"=u]D^cU÷6;̚yDy"[3[P?roua5c5qۮ7}:WK^PvP+_bZ#ܙ3C@.댌'j9Rw9p[q|p&eV(-`*~^ܱ쪆-R1@xI$`͛,1YJүǬVl^:CG\? zԼlӍ\Qh1_,V% h\1y=8'ԄU/H^-qYs8A5 c:F<\DM.5fny5˕jUTi?"xbJm/`%%vTSgz/`v[_;h?B73|ʱ#\e.lJ`,]酞t v͘pcYwEԨIZ-}6ߵj*I ?`]@wB-5aMlp gJ'?k 2~vOJOoy7~hm3WUfWǨ:qTs-׃=-$A}7eU