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 =|| ]% Lehmer:threads=4elapsed=1.338cpu=2.704gc=0.000factor=2.027zXZִF! X<]ŗXiɟH)0%ofkc3)΅0y Ot6a߈Wn.9P s;SZT'2Js%Jjrd@kbL7p4wкopOZKBzP,+o}T6aX}Uʷ\  4V[cUROI*o -rk&CYpQX7k;1j{#]җQw:9|P3m82a'*Yf{.," , J2D㡠f\U@Umקg~ A?e%oʹJ <&z `cOi<E]e~uU97VTqDN#+Rg0x| idB 1 ٹɋ zбBkFpAFmJ`T\`f⛬zEm-USi2yJFOY PA9)QpgU=49NJѻ6:( |[,sKkBN2E$ۺ',J~2o!Om!~4lkx7Jw ͢j&Ys~DbfLC9!2NL> tȊ .}k\Ć@BfE4*Ʃ8‚Ucj LFd+#-.YoqޏCMV9targn):R^?1,%'xv%,=v-Op!?30lOfi/i}UFpSNR5g%Hu p)`#g% ;kIqw /t9^Y, l PA50{ӈGыS_ _,O;i'ϪU4':H]u@ Bbj"Տ8uҼ`"6s 4ɯ TP3 R7%`$O>`-[ܶL]֊eE` QDΒ4z:;90qF1AdܓgQBٟ8DAW%DUf4yR=5yU)e: 8kõ~s#j3׼٭,&;姇#ErI &Ê^ѰTO\kɳF=? w5v3M-axz v[ρrCdNDHW\|JfH]54>-AnuѴuۻiTuԡ^Ӷ=h54]JE.ϭ Ym/"n)! oAgYZ7zXZִF! A;]ŗXiɟIPDOB`7"蕤b]m yK&8WB^M}YZ7zXZִF! w]ŗXi%L!l0/XS:cR_mDskD1qAQ~$Y\SPL|cPƧ!}Co)SgQhB/B6ZYDt( ٯp鮦^V?Psa8F_o ~whoN^r{ NQ15uC5R?aWAUH>8\k$󢞽4 6̐J<",պ4چڳ&}l -^M~Nv+ Q؞n>y@r0mx$6g='t