SQLite format 3@ .;  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 CC:' tT$ ]/ HOL-Cardinals:threads=6elapsed=7.452cpu=41.800gc=1.492factor=5.617zXZִF! <s]ŗXf1-q恈<-¡$johkX2I)']8PIwvѸPw<[s߉ʝ}7d鍁q8 .""wFl04jtX.lđ{}&SFGaUW(yL/]hkfg-Nو]V_KV!{gt];i{p#8;4(ۄOT=$k5k\T!)F] 0`˖I Z"ۉy`5|Ejgz}7O^m~~}@vp:$ hϼU݁+5%H |i6@\Yz6*n tIШ.z[O,}'- ㏍dH_[%iS|ұ@jRk$Ñʆ? A'+ ",x$>3HHgMGzcR0uEF 5OPk-H$Cvݕf(pSOh>)BݳQ?"ڍ+6F#Ɣhk,c:gYZ7zXZִF! ;$]ŗXiɟ1?ߟt;9BP2CZz眭5 zV^ρ}7 E']Kn'24O6i XO5 `fka?lu]e X5`̝8Q6پogP?uޚ۽x2vndsv4,ǞVZtnq2dP@Y" $7g6Bt%EXjOӯ^9gYZ7zXZִF! ,]ŗXi%JF);(݋dOu/Pt w55w 4Q]\3 mp -zh{9 8Պ">J@Gޖ(O>:͑뛔Q$?eƟho~<0>VTm3si9ӴQ0] ҿ$b1 /wR%N9|!/oh N dU!tZ4cz2ҕJ$duݔ 8HW>L:$F+[t{Q]f_R$H4nuc}n\wpK 4nSݗE?Ͻ|XC+Ȏ4lxMHy3}:P}ww`>kS,G!AX)C-0ħkŬ7*Z{Pm ^B*6 ;-Wcs{M] @%šy,)h$5ڑo+*AD16}g;ό R>Wj_w߻v%4_~ 02f(gnMnP;4ݪ쫆(sV`ᔪK=U т0 \!៶O>@=18stpHw$w0*2+8C }P6&[Yr+O+MnNG~uDG n&K}YhxXsjNrk$y'$hk #e!ϭ