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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 21d$D ]/ HOL-Imperative_HOL:threads=6elapsed=53.937cpu=217.216gc=8.344factor=4.037zXZ ִF ! 0^] ŗXiɟd)&]hRV $%|c%ECq>&F n`voăG$[r4b{]_(תBK<'PTxx@hYF;yxEG<ۿA" M4lRU36 2cr@R8^[F#evf%>(؈6UÌG+rQԨK@J$zrF/ 1mBkGRaO ɏ0O?f\E4@a\g5x'oђUp@(GWB٢3Εcv2c b#a'Ėu6[wd.W 1 HOL-Imperative_HOL n`1Fxjbz-M{^Yt+'b֞Beܘc7w@Vɘņ8EĉØRQ/c#*h#~Txsqs#:gso m右Nėݵ}Lٖ3IeC1vZ'C3{13yՎ r?nQ.SӃM3Ã$s{tLhcsr/s)|>H)6ohzn*Rí[ҳ!nЫ6? 84%:0g`k${GDUUB^eC SJ3h'D=&wiqq7{StMUUtfD{h(Q%`(CɃI^3'M2Ũ"v`~N[Ue,%Hqz1ՖE%VخX!jL@眚yNJAlg2