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 qQ<]nu*31B&!0q(hQ\/^Ly1?c kb@ݻ߻,zɛ"Iޟ8/]aSpd|gԸ GŇ%Ց/X%j5hbR\+127Ka9_hyLt^me2"SGPjz浆/'J֌)wK 93W4 Ѣbw۹}x/ bj'{_U 05b1X tfxotD6j|4.4(xz.XDzɱk˞~Zإ9Ka[=D0Ca^b{ovFI?Ӟ!Ѭ_OА.fw&#iL`I`rjP:x%n~aTɨw/@*gy `.0@`'BЂծ8` Fh2[+^{] aw(~I?s3ؓ 5g* hk^05ahjsP~*_h>:R+Rx>+иmDϑTf@FsR: J2Ο.^YgfO֕R7b Yʷyݡ8HhQ/`6+Kg I&@8xV!y$0(swmCzEFe$ARo T>z+6܄Yi22_ѐv;&Kyh:-?K;w~ W˸nG69v L@"?Q7`SW1 6HMVGnFWP(e,O6RAi ^!?@B#uF㮲(θџ:Z7*Ȅ`'n#tgYZ7zXZִF! ^!]ŗXi%>g=J T9> !"P7SBy?ιp]y`>|SDD*|@3%͗je)|2fYAav?$ٖpy_ηg-`hH[_Qn_{Y `g3I2+ݕ)Ir ˱\J`w½>3MÆ9;TkQN@& _D'?VyJ~j#GUUF4!OF-%uOψ Ehn@IJPP.!҈U$vxFkɭL q~wyp7LPqRW+ 0D.QXOj3b& m-¨񂢨y{cdp%GPIY]ҡ5 @ORUm_?=_qY+T:1x3N3YGX1gGůj???5Db" yWɢ͌NF1U _ S ~-,lqHprux#W=քڋ:YT.*x۞g*h} #ma1Uey,a 4J8Ж2U*ml]Ѐh? }Z nmXXz`[UԔ֗IrO2>}b:GkqȔ-_ɪ$P{=rRz9R*xT"+Y4ӡ 3Z~[21^6Յw wNϥscH3ǟT2=,ش*&:GkmȼKVf"_QWv~!=O vLg"`Z f&h6ƢO1lq>Ap`Hq Ԍw쓃9|ELER5eT 6p\|$y'/% Tf9Lowzb3r0~{%5w+x :+vO. 0 yA$N=`7{Rߓ֙%wT>#$ϣ˟N2C"KxoA 6[pr?ka#GhzFNuaq1@xHR}a%_lL7nȧCfkiqMZc?  Ӡz1mkӌbKɛ7t{:I)ˮ"_5 [ޢNy~-?8!A ֓"Ϙ7?L#^oF[nxM̩^6䚻bxx_6> PXXGH-(n۩n]w##FdOTEGGR;_<(ng[C(R$<3cFD@ڮ!pIϢUsǖ{̋`wuп#OY)㏢P~+$x.wHa*rnq^9ɨ0z,{{{O*2xF.fj7R.g.co;!ܰ&Roр4\J&4YC" XY)4i5LBFRDouUGOSPc;0 A۫XQDh gjphګ4xOP(0רH81y]&}iK FHz(#-c1r`JFtLj6nj0'^<_Ҍe#C\ 4]7^`&l)<*q#X22,-y VOmgMJJj)]@*A4V Wڴ&9y]HKmEYVbI<חS^Z-_D}OX(ɺP'ԁdtԗq~'P\6oY"P\d #_I1nI7D8̈9P7o_![ک8\`]i?^v<^-kKp%,2|6 ZҾK&4SH,u tJ?BPP:%Ċ8REWRQ,ռ/ܸYN Zri[@7cOpG '-pY<> зq&1 %%M^NYr+:0Bb,VVPߓ,>plFwxXr{ x23K*VijL>5djuK{`mboF@6DXM]#G+K5N8ԅFJSK؁o 똳eAK*_ U.P}D*pciÂ+h՚cѪ_aWg_l)u$ H&NNm6 ܪhHs*?슧9flן/ZF&_Mz2_xR+./ģu9AMKՄUhNs*e&%ڠ^EW嘊$ 7CO Z?!*1WF$+aMd(EP"՟١uOv@9ߑEڦʜ{sWCҴ -9+1__F*$wB]CK_tbo8#.r O[7ntTaՉjz8{H5R+e٩C[ڿ4ì,着j@2o"P(.hOQ,eXaRP;gG Gë쉄ؐ祓jRoO|i@ޓt4-Tk)A_ a=^y0*,ߪ񩄱gYZ2dd0c0d90283bcca6f9c7ec4aa9d0a2a8d545924a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8