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  + << ]/ Decl_Sem_Fun_PL:threads=2elapsed=41.967cpu=80.272gc=8.136factor=1.917zXZִF! %]ŗXf1-/6vRZLҨ2y1;B=Cr؆G4B c_]>FLbOApM?y )<܌_n8t#>f; gd 9L^9+PՃ TcU$p:lRKM`=Z)2Lc]ܙb0,;/1sв'c7:yjܘU%_Wtu!(J3d~< ׾Q`n=aѳ`?1r!ˮ!̿"Ohh'4 WC:buk'J?$6S&uV[͛{Vw/KxF-T}P%i P^u{RǦy[H0ʖ$Y*}qS{KaVeZނOoAOQ;"帯9W )k uB)!qmiƏff-}!qZN5 kSƶĂ,}h nofTq4bSa<{O8q%GWH_ %6!o\KEp Z[хHt*hĉ9Lt9LX>g58I@ȻÿC_}55q'co+h5r>(4'*·&5k]y2'hCk3C ^Z+WCPed[j` 0[, :utm8;YpngʧxbSbar׊o˱FD-.g #:v)MeT ۍTwȯy!$)b+qzv=Bm 183!8R1:$j}#lrha eǎ!G~@0p NSL0j k(\jl[yAo'H8A K!*gYZ7zXZִF! :]ŗXiɟ1˦r~KunύNN{U%TOT_w7~ niX?ѣt_GWk4m3q^}B+gg\V, =a=>!4VgYZ7zXZִF! \ ]ŗXi%>g[o>ñ刈;J'4Wd@ F$ϩ)(9K;ad{V\sQR7QlLuO(6pxC7eA}t9iY ]„A=bUUKMf}my;&zIM>wPӧ,SK*3u a$G^(z(s'dVw5[5 H5*N7Ss8!Y`|z FQWH±Nt?%L?{oc9ǔ̒%}!dҰ""T  uwK)i[WNjO6.W?en){h!Oz/]~l} $>.+~1&uB;$h{«Kt|ÃXg}~T!M)LU\FVNIW?y)G37x*_>q.HHJƼL2A:z!7I?Ӭ!N n?n& z?20-qn3{[ʼn \?|+|qւ.Xs1+-gyt3* AA 7[ -kXc zhb:]MU:=)I_2!tp9zwsV-$SV[*ԾD!߱ CVTPl0 :f*8E㯵6V^6aI n9ďqNp/pT+{uFuaZ^[{wj -{_&xY5Z⾼טIZ-ruBaƣG` CJgDcul,1C*K.δqR4%A;;Vbߣ:;[IW^Pʻ?[{Ԋi$6t4OhB3@<wM`&CSQ80E OC(wYIq=dEzJi6׃xI/wEl:2>.3UC8(\˦x 7vhZ!2+UVc%OJ:\d4 ;DKIcu:4\˰,na!rd\8 ^N!gSCcR^ >Qib:*&^SIyQv!+n;յ|8.IB3At.HZ)|-jzC։ӱV'ղdOiy=?wG$9< N%[0Vi|cG:'bZ;z51q2eF`;a dRdr*0%V.!lCB!#HI )kn`y3W#jpaC㰺 ¸| CQHYO;Bֳy0dLwޤe]h9}`(jDX&)F#zX]onUS#Q 56`Nj֓G啝k@{25Ź^[q zϑü$U2Q[4ek5FIhC `tc]bOx1/'2-2GP+FXw&-YY:\!~C Z#@Qh%9VݞȱgYZ2b683256ca0c26eab5f0e26215ff7edc0ec97581767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418