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  d d1 $ ] HOL-Imperative_HOL:threads=6elapsed=35.936cpu=81.528gc=2.704factor=2.277zXZִF! - ]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFø +Âe[6Ǎ(PϴBc񓴇0)šSBD{οpv,r\ΚӂXGM- ]y2EӢLbA:t~{)рZz8P&#C֭(wK-ft0ulSړ|⩹i߲fT9_e?ƼhDmBVX{ -D7I9P=u.BP.Htm(VEYjT9\Nj,@<6Y}ZT@{Rצ .o-3.̖D `ۅ{q KTAHܟ}Ι3^7|އ )fznݲVKptUO n,JzN`bA} t.b5~|ހ 4;'6rQhܬ[t 1 HOL-Imperative_HOL  Rsm:"ge9]KPWZecWe_P9Q'b(V8ޔϤHS\ _j["Z/PTBTiﻳ& >!/a9Z9CrHk'd&Kz@AtMSCoʑ*)RGm&8D~u|>br%|%w3o݇biEH!+:1cv-}T܁Trk; ZX_I㿼9_RNo$LġO5+)68~-jy917?&曕 h P~ ?c6#M\2LT/'qc=b Y\7C >X3Rѵd~PΓMW=y-7!tz >Gb$r< A;W:y(zdL<ֺT֣GRqH) ZܱgYZ7zXZִF! =]ŗXiɟ1nhЦx"n_8N]( eOtd6 c).{{xq!}xT^@I\cG&^5 wk^VkKvIC; hR3koFw)Θj/JVL6R9W[bYpb;Zm;VMg#ѥ1.h; ;CV$|L!dn]GO8}J Y+x((dE @Yn;<*|7,6 Q`=1,(գaJUO\ Οf8)H{}]d?r !f, fe`Z_yGvvEwf|ra8VJ. upv߷{C(kj4v܄81hiZdE#`*'~Voԡׄ"{eK saYo=D*iNP##8̞fOb0) | S|IRG~&[XkžQ6``eDs|]̔ #)9f5ިl^٭C,.\$Քj|x;-6 P4#9&'O"-`NdJ5(f{9˓|<0.28itZ J6ϷsčxSU+*ctZuVg`ZMUH 2``wky.UA掘GL5C@ %_n56w(fUFx-r$Y{lPMi.ds[bUژ|##L,t$D75aF$ϑvk: lt-_\`6G{+d3ŝon x,m0SvCx/S*MSiuR/UDᨼL(,x͜,U1?F:#ث3X؃c*ߝ%`<T0%*luHHjݝXO5Kd%l/(PvЂI$_t4$1,L5YVQc!E8uu8x6k~eC&Ʒ5 ٘zF:'HKamG7"0 aبdDiqRsXDO]Y|Xf6]TY?o*8E'qSXb)SdO9u>dmGy"CµHx39 @ BC Htb$vƭϕ:xdJX%ٖj}gI_{qz@nnGۑ>w3())kfs.xWڰʖEs+')RDϕ7sAhLˬe; g@ c3IxH=O]^FKHYMo ؀!͐>Dwy>w=zfԸbD 11Bшa!4TcƀczY4؍o=قYF+%|t(xDE3qsa%pN~F;E\F:Z. TGc ηed]-܁1P6{1$\wOEmafv#Jz(y!g=44a4[ݺƟ1L#9"uaP C;sC ئ$SUY,A~u[jD1?SUFS L\[X(; $|k0\:8Y+Xo b{GAn.>MP5gYZ52f452bf0b7048a8e68c436342482b8fef8b33bda9b7dcae088578d8605a3e1d84e889eeccefd72f b4ab1f59b08714a73123cd49dab856a7d2781a8e a55480721eeca3c9fdf2808db109939f1c898854