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 ,DL ]/ ZF-ex:threads=4elapsed=8.279cpu=18.508gc=0.628factor=2.247zXZִF! ]ŗXf1-W(T#0P=ITß86WK /gṰǕ7]E^[h;]#C'A8B%4Z3և6c}#~~j1HhW;LܿV$$ w %$S>R*6vjO?J҂9u,~ש,)I~AύESGj:=dvkT7UfdEP*b9\}a̾ &y.Yhz g ÄN?0-4DeFԨ{ gYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\xv3+<\N y f!H=gM$R&bJ~Ci+P i%z@Kɤo%J?aF w|!Gԧ+{>n^3^sAUXߘ<(.7KμqXgYZ7zXZִF! 2I]ŗXi%L>/}=E5@RZ;_ "uC@UYN:8-PZ*h ">V岤;p&XC~*롒L?E1Mש4P8C Gސzc猦{ɖh0c#ϽnG@M#п#:׫eAevk꫓rw }ۜt$2szyTᲥ &Qvstߌ6PYkrL aB1Rֹj%DfOjA)a-ɑDuGF$3lsfs )-=Wsܣxt5ffE %9'\,LQnlr9UgGUqɊ?LLCM5Eqp8&ٟj̻!*4ϟ\ 16QnS]^J# a.Jme'lm7#qeTљɔ(j@ -Ȏchea~Iri ^!6'n!Ű֟6q{]=kÛN$XnK*0򙄆ϟp|佧@봌 ['cfUl$遵k1D#Tye!J9 P4 +,7\050ĆI7pVZlgDl- 6¯^7IUXFDI4">iF$8uY@4Tރ 2a:D^#'!i]lR=t=yTu #6- SX*2jw!$=Y]ּ$= 4f;ڠ}ƭ۩K3a)sd\.n6B@$&c*T