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 &+ $D ] LightweightJava:threads=8elapsed=32.803cpu=79.110gc=3.339factor=2.417zXZִF! C]ŗXf[&!8*TXzX蠎%]i&b==ʏ ]0'c"cp*ы-a| UUO7K#^72 !w? Fݴv5 +Q]Q%wSΒhJ/ĹAn'`Ni,k#m#rl#: KOcNLIopީ*1a~:H-œQ* 1s>80w;ɿ7Iư\*54w<һ[gLOoB^DZc(M_:g%>L~eML|7 + LightweightJava  5_0)KI\H;GWoB=ODo^}(P/ekt~ hWPwqLZ4dOT’_~LD5? q#|XOvGc;T _.I7ȕ'M̘ȈeBV, *}‡L ?Vg`dS%<,UJx*vߛ#fvx^*?⹙!vǟo2Z<ج~@Q+AmXkx:4'ILPD<tgYaVE`<={v.#7rبAb[$n?@vXZȀA-C%)Qzes%ܯul0>d%$1P',;"(JJ1VpvͿLH2e'\=xkhP(Y]{ȖÁlK?GyIВłjQ,Ђ{#Te)X_HQռ̽:KoB'Pibr*f-w 90Z\^Y\6E_Ēk"bO* {kڿc\qfh94)<ay udSoFɴ[_,Z uȾvX67Eԗrw? #*f CMzԁȟ% s#e|ƭt&a6=ČYXV8)x(^+VJh3hk>(-!ڬ7~e9bAZըI-c._e*^12.t{ *7ufh4_9?b6D|O[qϻ(&zkh+`qԡHEU;&尗/`mA'+q'l(W8 _l%KRh ْ`#B"=?gH|f].s'uYA ՌK 9иN֯$O+1G@ظG#[DA]޷ӎ؉s?'slɏTAe Zw3"L4t]\9ƢEñd'MXH{W)*jbwh`ۦ!&CR^!/5~!7*'өg bp>R8amIW"튙6eˏ{r3']nQ&Vc r6(DԻzk**( b"vR׍Zݟ*pIauIu] 7=JfL"[oJq ^JuK֔>z f9OR}U&HEaiO]8mA-]WKk1dB^fcbKjM"dVth <++x}ď0{-JaQ'VG*pIpU<rj^: IpIːڂYA%TPGO ˃a5(Ȑ.^O{9fHusaeG d|ktutdbr;O{9u]Щl[w4Z.[Ax+ԅ%XzGzfOh*?1 }_5Xbe = !akڪJ@.}ׂR:=[$|lN4ɅMKG|v`ᐙGNQ\7`^6(t9gT%)ZWN_2G"$ ͔ Z[&=xyrhHȈ.' Bo(#5=Z$# 1lf~ڐZ4V0r9!n*+L1?Pj@}[S3)C4)+gUj s Ե"yvOC "}ou%^j:7fUpș$mI ,qXʏ3c!nn_5~E9=ya5jR'e4 #nwwxT_IA1u@tE1mDYamj5};_}MGdЄyT.Ot K9VJJIPsSZKi Gwe,$0Vߔ_%T3dN!pXi6 ^ Fуm#tdX䌲:p S`hj=PآHҁqOn P-_s9 G=em%Wa VxJvliG&Z0픥IJAzZ4^6b{jf(=}A4cLT>尝ҽ<:V"~>AW(mA6taƽ'N\9(g_C<VPD\ ،xA!ڌ1M!ws-ߵ%|G^eMz<3&ϰy1j>ڄ5Q㎱L@*ZVc [dw&l--ͨDbO`Qk!߫{|`0Cnx~\5,{KΨ ɦ+%1(: ѬBkv h27[μu2?sso:Y9JkIEQ VYlI,4lduf\7I0:ͬ}K ۯ 7ՈW(KS?5.~ ZW|.Ϗ Wa16te3%BYªWO<1w8(EaS^SgYZcc6282beb3d94d0477c289b3b1c542b1fe811959c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b