SQLite format 3 @ + U + . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 F$4D ]]]ZF:threads=2elapsed=24.465cpu=38.520gc=2.192factor=1.577zXZ ִF ! +] ŗXf1-) enȈA"XxB T/'`a_)ESc Ts.+DE.[.M:Nݴ"sӗv6n1گ #*salT;$eMKg^7&ak3=O}K |'9^Yhmy ξ/7 <9u@pU1t(]>tOPT$ɢ\iȪseoK,8ݯ4wc'x xB\\<|fϭ'4$cA?6p(a8߬P..dfY<2Ýu͌ ˓ F*ݍhwWufx{`ɘs7tRDZ {K1k(JÁ 5%=U qVLѡؕ%0+XcA&AO=*pEYU(|$Xb/N?78<8mo` GP#q-j 4*-g YZ7zXZ ִF ! ] ŗXiɟ 1FE`穵sXYEp,7ƙFqB5C5erԇWȯ ODxѨLsEM6*-BNwܻn(Ar jҩd1VӉAN3}y~Eڅ`.VbiR7 _tm!پ-w4_̳w%|X }Z?YCEx g1,i57U{-n!XXb|#Cv!Z*cn0V͉1X~+Q.og"/m %nm?{^=?{P/2=__%FS MTCJM8/ғ|`B2U$j&oܻ@!C+?;gV5_hW7 vH ӎ&ԗuys?h]q Pi*nBߡb/(P*_$;O|9I))f Mp hny5g YZ7zXZ ִF ! ] ŗXi%;t3Ȋ**.;ޗ(l^1]jcm#Q'*ͶQV4wt