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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info e1 \l ] HOL-Imperative_HOL:threads=6elapsed=36.438cpu=69.064gc=2.104factor=1.907zXZִF! -ze]ŗXf1-q恈1$1|-~yߢ" w7Eh % .lbyjxƗʞ1ʀА-Wt01@a֜R颥.2Z8 b3e IaX ܗb/B" bzl*b̭-K>~Xweu#,oaF[~&*|"7etRv(@;%͍-S9:rssb⫢,b'VeRօ )*7ȏ'Mo2 ZK+gYZ7zXZִF! E]ŗXiɟ1nhЦx"n_8N]( eOtdvpQ4[AB+g'újw |X՝ǽ>tVrXrJO>Amg.DžPֵXҞ*6 s!pp|_>W; L2]2~aYj{ڝJ ٯ0م҅AO^Xd=SY+%k{BȂt%^gb.ArHg^V͉Vf"ۚq/P[#מR!Bgu3Z.XwN=' yWz;qjwzC\6l$vJ`%n]j-@6Ŷ#T<0\M"xftrb Й. SK7xLӃTKe,{ѡz,w+QA\w{єJ^wn3yQn7[B} 3Ni(",TZGR sʼY7m7a hY>cʉ0;ml~DKg:b /xI8K|t`)rkda΁a |sQb_ri(荦h(L[˙-L Huj)Y,ɞߩ^ /) 5ꃺ@)^\+u]bQomk^ω:Kt!ڀw#$>_|TtIGwۛ:Ƥ龠3~?e~ w>|%Ǥg"#A37mӡ|3f_]I}曬w_ Dxo*SB^eҧ/[S%s[ 3I"/1YvBQoqw6U{ ~,U+s⛀%gNqKh<{r c,O-Ss_#n|WVT)$/뛆bCS7㶶'@i7{h:nO8(jF6N ݇݀4RZ}/Lsjw[yvh -wO 'vgKKfӰD0UG2QS)+ ViQ:5]dE*aƂzd*ɜǷs ͠"D484I0|_O Z뼳9b'@ω^+ߋ+56܅":=xz pX;k *t+o9)Џ{YxwkY]AQ=lJL(y_&>FdQ^A8L[- ϥrI3Үfks7 3ƽ, ޒwA`Vz~#cUmҤgYd`}5PJA vPQݬiYڋgj*~[;ԗ22xnJ{LY"y_QlG*>0,C9!^t|+Y0uʺei*KʼuQT.P[Gуf%?Ưިw]NBqW0nj55\kq"qŸ~%~& ̢n (e(ݵ\W[+5徟+պT{6Nd{OOyERF'xUrd[r|M>$6F᤽R1| /P(!ZgYZbf0c1cb63d31fb3140eca1b3e80a2fd23d6f0f4262dd5ef845605834f99fd219c6113e6e5d2ead3b e158806d250ceec2e5c99ef815333151f28fb293 69e6c53cc553f832f80191480af118e89874fb3a