SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 e1 \4 ]]HereditarilyFinite:threads=4elapsed=13.300cpu=34.952gc=0.780factor=2.637zXZִF! t]ŗXf[&pCPgYZ7zXZִF! g-]ŗXi%B(oe~2,)Å2W"OWŞKk:UX$5w!L YRTYn]p4=e7 O%EneknMWvatbxnE_3.6K pN@q<6%ox+g?;$Woɫo݋2jD3HMLm#Kn 230>:u'mp{w=V-:-XA7ubr_|+Pnٵ¼郷ߑU@ Fee5uvqngW??PavV)]p+OC/D,Mܚ?(alݠ;Yc.n <GB2lT"@SzpC2ܿ=:7Փ~V˥V.go'G|x6V^t#m3!P2Cl쬀DbMpKc8EAu| *ʸ. U 6Ye!b{pÙګ>zћ|!ٙm"TH IÅ\KEkFٯrZ x%mJu3ɢy;ҽٞD߫;b+] )} ')D  8̆`*=Srt#/U3ss"Nauq{2RWXO#'vi`P+y뭄z?|lwaՍPkS'9n$xIfr831k@2Eye'$[fUxtQF"6!z%zR#Z(HAtZ@;CUu/" dm8 5#9 I͖5z|3i7fm44Q69Kz4b9k gfьd"1L3oD:]1Usmۯs0tmw}A`F][9M{oi FɵCor VZr{U]v5S#\t$Ox:5~N Â5!z VkX|ZίNB} YpsH#3dTelrJ ^ ]f_1C]B?j9-$8ףG2k+.>f%^v]bUnN*iVDke/ТQU4Jk$2OOJ)I_^pP -/`jS+q7t>&#[38c_&džY v'6v-֦P;1 HgYZd03a82de952655f00db47a8147c1d22deef78c2776b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 f04b6a6c33ad0f2bac00ec27566d13b96a6832d32bff0bb99f9ab0a3c7ff9409014a385b50be78b9 1 HereditarilyFinite