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  j% d ] Latin_Square:threads=2elapsed=8.331cpu=11.912gc=0.212factor=1.437zXZִF! ,]ŗXf1-/6vRZ(]ŗXi%6SwSƐRq)xy~[oui'gsWTVOSǐg_cڔﰰvSol3+RKl0@{M";ȩqŋM1X A4>$|iO:R nkUoi$bx[lhΩ &l%)1ҏuwvJETV?RJ~C9aXrQl2Z5ZNIs EX+"OT{.ǃvKtRA q Dv}/{nXMEi eSr-WjOqO *d9rS@D1b^-+N鷩f@GͭDғ˜L*5a_qdEG] X^۪8`5X@G<#^ u@`' zf=0B{UyQ_N.꯫ȫAwWUћ)8Q*bw4b_ RP!neD*E'm8wHsP\Ǹ|KXD-Ȥl{2Mt\ ]}MFE2?E=çEf*ȦٌYWntČiHz|Oa;=CcwllBBQziJ+"OR4p_+z}i@2Y-5YC\V0AS.6h,ac9)ҿ"!6 Vܠq?\Z1E}hӮԒaV HŽo3I˻MQ \J+Cœ +FtV#~ ggYZaab533a4b206dd133678afd336a1bd84db147937e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc e82ab105d079d58ee0e81d332bf377f68749f611 % Latin_Square