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 #$\ ]/ PseudoHoops:threads=2elapsed=94.990cpu=126.032gc=5.760factor=1.337zXZִF! ^]ŗXf1-/6vRZ"P*nIUUƖY`BNa>t\ V- Ȭ>|EWNM[ԛ~×[;amf.EU)42J{Zq"FS A 3#= ύ=Vs !ˈl!Y?7Y,*?$ gRB5B1ׄ;>kZvs\x=Ӎzpy P9o&8G4 _pqê_)teNs~߰\JC9O{.2C*hv[KG#A{0c :&]ɲKy> Ė$U%\!45!jX$SF*%5hnHHh{b)oudQQ;MTU\ZYro]~Eh43RhV݃!k ټk6UQK&1s0^6 uLm݄DqU΢P/fM5*nly}'KTv}OMGȌ@4qo B,[,}a'SJ"f^dP;I^iY7y~E-{ ,^S nS@Ng3NEx 竏l[ϠS[raF,s2,y1P[l g'$,]_!_;TƊ8#%xp;53YDݞl5>*W)1a؈J rmu7dX59AnZB Ml_@t \JGФ#\QьLnk/ '_D-e:rl3DkqnrT|,̬|,35Odk¹jtM4ap6QlbmALe0=|RJsSR16bH&baU4dd}q)a5 <^E>h0Za\sZr`a o?lKxh ,arz4C&ɰigYZ7zXZִF! I]ŗXiɟ˗ g qmz7 $VV3zCZmR{< i.ͷRMi\3bxpF ZI|H {0 - 4:a 3I ]$ѳdd!0HDu= =vME`$Zܕ%ϕk,ؽT̸%oDiœ`lHyy9C+t@ғ/BpF"byE ȂߛG=y:3/H[BS5fI=_ {Ar Zyr#R|hUr4/|?b)pgYZ7zXZִF! Ӿ]ŗXi%;gMnMh(EZdH-$\zGF:ۤ;q%rbC@E3C3%[JWAwsZ܃;ף*HaD-Eڹ]/4DK2Z8Z09} i)uU SoWML$ZeXl^/5,QU; [fy?LRe6fG" *ɤå~9odru!tզǏk2;+;`",K>w,"f=5Tp6]=q)[8C"Z%7$s7hK6d_܇8.C|a hq+nɼζDHHK1x2ږpZ'I@+$?k Ew W hvxQL3w4]2`8,۔KJ咄ھrI‘o_-f_BcƲڳ4'ǹo$;\.>w[3wlX٠J&ƟYD)= 7Jfc֚+Ms!YKouļ!#]O3<%dkv ]/:Ad4t\`|g1*guhA}1\`cXhMȳ67 QCQhGjywԃZ3 `P_f&ɱn[aLIL++Ԭ @H(6Jax%4E pmPb2mdR?`& * M+ԚyN~J܁˴Qϴ\/" mȡ8^2a2N ^d( :ctm+^uMط d+fg=K,ϙݯaR9[6yAџknIlh !-r~WbD:[X2tj-qԊo۴*b<[-U7>G Yd-#u~d %\5ߺ S=*Vm4Ns4e"ZY`N Ojsw1\+iL:Ԣ:nYھ|VGˣUnT,!$2yRz0r2+Unޕ F B/6.GW΃$gnԗ{6ĵvSn~Hxk)m$-ߜ3G|N<5u,Q?:ݴ`w'$_͍J jb':}S%X O* EZt5Pʚ|`+bJwBƫIW].ppW(uPOKA7Dg>HY`F$:L_SծA] N?;+ͿS;i_c)6iX -Y`O,pơ܁!Sh7 :fP S{*荗;9WH`IΨ@/ټM3KWT|Tfl𓈸31T'iܶ[9y@ʾ,E.gT vǺŁXm<ڬs4]GNuaI<OgdGnByr-(I&W LӰ9U%# Nq-NqV;VZ}爑pDhܡEOcV 飳I1 }{慉X+E% A&ωr5>7]!ܤYOiҶ:zx AH!-Z92{_wv9?9bQIZ2)b'DOe#4SEώ4y6 )ϰ,M[ώ.w_VDz.6Z3PDZuT2x},FUPߕ>vCR?Ϳ$*1ˡLxW`0P9(4)BQI_;wؚOg|)fRa@} BSXطL.D֗U$ Ɯ=}#5/mʙ>)(u0*Hw\_`Mܜz~}TÇ1DE=jCE {:*/V`G?79^GXbgzkRsyH5 Kd 22PIcJ+g='mK6* ğ]>@rx(C!ol ;UCܣWY%ݘ@gtW$;X?SAƍ H{ !z95/._a1߹ ů6}qpmh ]KO% 8S= z;&qiyR6 8c|w5=x`iVo%̲-J͵lT͢cZO4oRP/3puf!xc6t( LzH5Bdb,7Qevo f\^_u'E0fBܙٙ ,~#%ow$y$RpiLPu=A+漢v`wSDctZ:Η ꩨ&(;l;?,Sn9V%65v u ۾tq^)άIJD}1dƉ4oʐ*+o՟v-ۿ0k~Kol!M΅JPV`jоe2/?nA