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 .+ l ] Euler_MacLaurin:threads=2elapsed=31.366cpu=52.892gc=2.088factor=1.697zXZִF! ?]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZQ IxJT ^"YdJ:HMd{/P3X'A̙vǺ^hСU\k)_<8Nt3SԱ-@v-NA:m< -Ų.@-߬k~ PSVܰsPXɷ3xe$qȿN>}QrT C[XhUuxa׃J!e4u+V]B~7B{%^6󻠗} $bNe&N忁€E83!n%%nz2КΒ7A[ |@wW(ʠvj/M yKMѹZ<ޛ갔vr( +;K{I%]*;]6>,L: 9[RZ=YbC,QH$0לO{)[p=o%,1Wi%xe;,= 6$bglRI\ JvEaZ eljƜeP !`~ytF7β[z%8NG~/֜W76zBWO Ëu&CAN]'|T i\$h:D b?SHA7wRs*9g ոѾ@ #~'L&Χ NyQo55ഝc&Lɷ.6rY_׭boKrIjhq<$cLgYZ7zXZִF! ;]ŗXiɟ1˦r!q=4!pƹ $7$)4-P sD RrKj+?is r,iفL3 1Sf(gNkfoߙ|D 55`7Gp9 yog#M;Xfը6zG M z~nxQw5t̓,JZcNB^f!9UZ5.o6o*c#f,nOy~xIװY[Qq]HYpè-urgYZ7zXZִF! h}]ŗXi%>g)A6,A]ʂɀ H5QyFn {2ٝ j`\e$aV}^7$s:vF&XPX~m'$Ú32R.]W? SB^}M>޶<(2:-kYLCqvF[$_.N,YX5f NC@8{`jIT` 6A''LTG*StnD!Ko r̬!:] 7~_+Xl V?6Os5tuL8CS5IWHFΥj[43|xѻ+~1VTsyOxWPTF3}ZWuyVVМϔJz׀.Hj u4h#yz:YCn8wAh酔z*ƒ>HA.]6je oXKd'5 E:%ߗomrf O'JkF?v]J!x0?goߡDZY.(Y=.B2նeϱ\FϝO%Ƅ2;=t/ZO/z6X$L3/}۳q !)dž& rk q C''Yt">-b(ۉMsi< Qڢm I@}e$FOpBlÅ7!KE8+ 豊WD8TalׇDsLvSA a`(tG]-`vI]QVn2`'ܼՄ@PV4jH͜ʣwn̻t'hPa 30:oRtCz!E{xѰb luX.z>g/wA`hW|)W{G*msw2g}{v)=P%@wZK;TX?xS 0L%[dn\ߙ\naY#+PlJ!+ wvJDOրmqroEi!T֗(" !gjOZ|xݲJnB|KHڄ@k0oSI@w#-]u,kDq!F}T`v܉ ]y=4cL>T׭; B\c2% Sq íKCXj?"#+H t=?]S?8-IpP"e*=7^<6;r^uF*G!;_-Z,g NjтֆhyXϳo,8z,#Z=\pҽ06bK[^ZA*"ZZ!! VG8esr}su/Kfԗ4>c/ Yc /qO!oEdj#?8hwG6F*;OE-4?NpvUE=,5H7\[3vL