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 ~' \\< ]/ HOL-Cardinals:threads=6elapsed=7.149cpu=39.940gc=1.456factor=5.597zXZִF! h]ŗXf1-q恈<-¡$johkX2I)']8PIwkfi'\@tXbz3.ۦj*6a1C_MQy 15 ` 1<8§hR-;z7ȺijKZblμhfF 6B8x<2(h7b(;FBulfnS>U$7>}dtR#v9kѦMNCyXIFN@y'z|du)qrٱgYZ7zXZִF! ;%]ŗXiɟ1?ߟt;9BP2CZz眭5 zui,Ɍb&9$æ2XC&| ~e0̩dž3 AsIuVX%DdKݗHZ>#4)[V:@oK2v=,(%xAx i1ࡍzp/qTT)dz^>9VgWH'餦m B4gt !0N:MLR xӑ4G/2?=jˠD4r>C!<6:gYZ7zXZִF! )V]ŗXi%EU`9HRxQ]K|]b9ߵq'Uf':z +78kF@`Dڿ5_$d*@ٽ~9FEf6܄Ԩ΃ųգєI[6?"y}Aͩ<)e@Ojj鈢 SϮhڎ_=WnWN2ǚB/OCwWi3$620GW? vIR lHe@Wr:sxU+ϯXok:RhFuEGR.Ell{.ڠ ݹRqt2/ˍnڟbehg&7"/@Tp{us-qa^7#/.;!8P'*CEnf.<ڢ73L^pƌ C3?@: nD5ډ(¿f#a2?h(.!Ha1kb|H/|~n8kּBWf*k,BN-3"FW @&|:Yv–vkti0zx*T1"7e;1R݊@rY\ƬAY71é'o)DBM11[wEg-iXnTߌWT3) @SZ׊O[{J0ƍJ%,ٳ}.AiwnH~4hGڗE& OQzޘS3SkvΔ%'lJWPfF9 ]EPhLl[=8лb<*qj82UpN۠-w#~;r(mFdžl4@9Szy ,P{g]Bɍܲ FS>2JIRff;