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 n' \\ ]/ HOL-Cardinals:threads=6elapsed=7.677cpu=43.468gc=1.836factor=5.667zXZִF! k]ŗXf1-q恈<-¡$johkX2I)']8PIyMϥ!ףĞ4Wۨf$f<1Lx:e,\U}>_h%i~Lj2X}R\jpݣf.΁3D_pmmXPnܪsvz :qM7sSIlݳohHpd9"}jLē7,,B 1Fxc5g*kVyY鱥uPZfCZJK@"&t{"mN@(Wjif=r)dN Zos~w?^yN!z㿡T2frb|LK#=W~u) >;9FV`-@_>鞥˟e_HB1`/ MR^y^mh|d#vt)c0+]ŪϙNo!4p):.)X0Z Y%ҙ|FL\x RLP%Z!Ivxf|1XZrmd6dQ=d {p6d i0Tv}#.VreE(@gUl8=.xqgYZ7zXZִF! ;%]ŗXiɟ1?ߟt;9BP2CZz眭5 zE rUAkzs9>768[܇GNT_Kq0"O:[ Lb|1w"io.z`;̝8$tUu ܟ =_>:+hZ%4G+V\!pl #DL7 :%FюN4p'<4iW&GS$+iEդۢUQ[y%=iDHBfUf@HdqV@7J6:gYZ7zXZִF! ,]ŗXi%I )"LV~ν_Nmu+0mt$e@[ `5D+TnV390L^ܚ>E(7ZCfr_YayC& w,sU J,E |G}H4mPQR;:@*؞*6\52 izƚ(k:%9jzK%6UFzkAůZ{LwG  ܑ\xzCq90;(7 T;?%0"7{فEd~O ni0h"O>%V0*1gY9;ϱmʻ[G0 HeGq;ii0n87YORS(\ 58` 0y9l]MYS:ci ϷIF!s] Mlw,7W>ScΊ쬍4ێȸ8^=zп[kuJQ":6Wʡm_|k/Z)MsmZ4kSeYg)T@@i-wǦ,#a4eT'6[- YCopOVf֙[kj