SQLite format 3 @ - . 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 ^tt, ]S Real_Impl:threads=2elapsed=97.181cpu=140.844gc=4.684factor=1.457zXZ ִF ! +^] ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=w@'$4PJ.ږv}32KI1cTַfsŦ[Cm9z˒˅qFT#A,1mwEC8rCSM]tՃWmR_V ^7.i9 aejҧD~>|zF,r?5\XYy-Z@MQ@@*KVhY~x[%*7ҊC(>댇RVkJaE:$u9o{?R}[?-uIB[1쯉^UON 03 %7,d3{Ovb s|{z'A5(\NV! c76g+U뻆(T0Z!CKWɜ ~,DClN|!o>?zONA+8XrP-'58MY[N+xu_YkL}=xf=b%*w]L jGriy @Mf!?G"N{cC[`Z$2HN͊->m+`ow;k-|"ߊl>lOW'!PKӍjL&umկ}Q]_zE8#,c n&6U=xiՀ=ECKfb6M=:ALu4>9jR15 L;skS< 4)/̫i髛Rm8] KJ0kw~^p$sBĸkTh ZܡZ!ajѾor &QnW0->ps a0B91lO]oh:oE]pۼ %Cp5%7G+?"+B|ޜF%6j*.r9o W5"l!lh4v=.t ^xv% D8ڨn xPğt.ojGf/{S^uA |xά9*?d.{r"1Xw_0uobx ]ºe.[7Q! U1^V V BYg YZ7zXZ ִF ! At] ŗXiɟ|E\Ât+.*aphG)%uGTiקZmgʮ0[ CG9G ł?6zĿ3i/|F&"t_թc