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   o3 T%w'˫\ptj0q*kɋ!9B]U4jIFsCŘp+?4IcLibc`o>KrKkNm]2D31d, # ;r8|ZB4ܯP֟KSn`d4>uxm۳-‹ƯMa@A}RBU^J67ўl{pMlĐIµjD^ [L?f,hh# wWTuΰ)j*@U9_tk=YwaN9t%j(q$3r m唏\8C{OpL.O*a_汥㠒;>4Z@1V!Ӎ>mx[yk|)D$jxt{?|RT+:df7@.4?ӄEx)jC[E\|+ |Lk!W^)+f?343X8Z2ߵdqcw E/})my5vt*cfr1\,+Hy) 1/U c.._S$ Yz Zԡ9}]p:_ 3 Probabilistic_While  *K UPӸ~ZgXS_IU/UZKIԘQ Kx.?9x5sjG9U&=lyPcRW#}D6`Ac/DPe|VyDwy"6;H*8QdJv@@yV{hyԐt!sD(GhF$,?ݙo!,,H0Ѱ"$+0s m?ғ[jk \<{QgYZ7zXZִF! ]ŗXiɟ1˦rFܬdyU,kKBnY .s‹:2dSҏ=rRl$;20{ 1/ \dEBB+K}.~AWbR­A cHn >6tc te싣MۙaI5r9od=B0tٜ[|yvFu6Y@;#YRN[k1m 1+ˊ3&ZC cTח#%Og'NWCa0֋.@ $U OfV!6BSJV pjmIJL;b#Fŭh_.;M?/ΡiDɃO0oh27nbECPR6tY D$ #'oΕHѯ\so;''6p{:rQ+O("N0 ұgYZ7zXZִF! \]ŗXi%;*%[T.{Eyu}8T {gTqFIyKB5]\vjӦMZu^yT @jf"왕hGK/}F3)zJim]6o;(aAq Ӱ~]]2Or8Oᴬvi\6^7t]XU*u60z]D֊%|(;ǖ4R"C!{,^\`/RM_4:)ڵUo%f C`YsP-L55WOIV0u̮}cJٺ%AdЗ=V" kj֠c)'ŪW}4/Ҭ؀$B}{w hž%[f "͆;%0kY7py ikmNŋfl( Z짾1k0$ِ1piA Q2-- ywȿemuw/P vT0@טB؅ &ٕ2Dž 0/6%D;ZlؤY튀]9R Vkp .,-U`oA.TVҘ8uWz5ÔAowTZN0g,iۛuP|m\4K3Z]Җ_%Vxu$$7c Pvx#W ?YKW)䠦L>T, ?;CC4 i MpϵP|sxӺ{Pظ(ki vAҌ4)Y8vLY ݻFG~ffXK@鋕JX~(g-;Эә@JEĕlHBT6)ɬѐS9{?~B<=wu hR:tbN-Ilv  W^_aiS]G'6 $ %mMEHDU8O򢻱|Fr_b*>KQ.cz(⠹7B˃vtf3E!+(!f!gDc,kjĸ;/Жc_+ aB>k#t@1,dzE >&~\%p&aT 'sm]Sv,Ck*LپBBrY-1nb^d&8%[M}M "\K|00@C*v0/֪!>M[O_@|pd1w9zqީcedbG{I&'݉4kl7P;䛪N\gX~## =MOn5ڔA4JoZz-]A;Cڇr7]O'6HdmQ[e3ܟA3qcZ~[Z/9J@# eQ9,-!Tthkued)rk uRa= %K"dqw-;{Ed&\_ #Vu:">'Ovm>'K2Ӟ%\R{ @[$A{dI<ƞ`Rm8wKA}=d#+S K[cv|g_֌"hR]XG6TTH↿l$nKe4IiPz()Ye_=iK0~=Ίoإ=)0>j ;ԥyBWmIy2' %\yPgYZ298ebae9ab86c36c7621d0865b733ecfb56586bcd14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad c8ba0b3713415680c885b286092222ad46904d4e a5c24c7a6ef0f76f7f37319c19b00a27039e04ad7d6d47da71140b3f7d6c9407417647be1c27dd17