SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 s;|4t ]]Stone_Relation_Algebras:threads=4elapsed=63.686cpu=135.064gc=3.432factor=2.127zXZִF! PMv]ŗXf[&RT[8wm-9chu=Ou*?1]OkE;2uE W_KfislpT0Q7u0 $Kdd_2ٗRWt*Yˢ=rFj^+;L] fXJ*&>bD},=nA0ALTӏH.A} ^٩S6ak&kӐ31⺮FC36~7R"516tFTٜڋz,C2؎hiH E"-K $/J(G{)pl/6"ũ>F**X= fhS\?e3!l2NdY>g0 +׹;Έ;p菌X-60$x-TLrst+;>:4ZSS9w)` s7RP?ն {M)3ojPzH!lwˑri&`ARlVc?&L:A'!ypRtʼnpm7A%/)6Dg ynI+n!ॸ2[OstgS(} p΄-D&Nݏ zQvEPSgKoKzaivӌ R-=ɻאmC9,=wO zc=gj03:A | &a Wk*tJ_o'&ҤsԽ U[F|Yn1XCշ&Q#>0~;ŒPL=5%n4 h%NƠ :s$mxGYYXf_,)NHXA,$7WId γ*ZGAlROHRZ=oǿ\z3,;Ղ?$A~,nsBGUGkԟxU {o! s7}qSVlb^zsrTوfRXYD6֐#݉I,J)(j5fD*:v쒭d~` رU@b\ZyҚ8IA,SKzmi]ujiLB8w _,)تΥ.U\0]CʚxV,ư߱+2CKÔv7?ekת:Sc[*%jTRO&|wź/0LpCj.?{6'R]7]o2l=۟6 |yT<8N~<9)PUWZz娓znp:Ի|~5Qf011A}r? XHQ%9 =r[l=l@'nt=$Cʻ7OmD]MUlgռR p:h' 5kZr=d.WٕǀmbFA]zJ?$Ivx! b)~q㱐ݢӥMr8\jdž2֬k?`]Jw v.Aאhn`XLpgLTtU7yY3TL4i: Π0R=gYZ7zXZִF! 5]ŗXiɟ3:WX2V^M '7xwB.]Y1(Z)xӞRs_+lⵞP]3No Y/jNy[C6ףw*o'0Q-).oRLFE 9k}ʚ?1w(2)d->/]>t3wWf(z8m6<7&gYZ7zXZִF! ~]ŗXi%Bj/ƍ4Fgg2}ץLN4rT 5? $5,2,|z x,YZObBRO){[[)w#-DCSL"x v_sw1Y+˞/NA5h1_+O]JɺOXt۹Z}R۾6[3> -c֯9 bw 9USJV`nG!G8P,T.t\ Th#'KjSSW(XM)etV•6 $g[U րgE|͚/xԬ}X&|@rxXOw7l]r#ԯqE%THC0gs^!̧.;$&k9BGFgvejY v>*3Bpwv_CFc]NdA0oKZgY!ޥse@Dx?Z5s{Du/-ܳE뢱)E4/NZvl M!n;! r-:ҾT3$;\ɍ U!P9'Fr{dd 8妖~gs2ׇZ{h? SMpex"zI_#Y'2e-tPo}@W:\~9l̇lnMtɛ5SzQe$ ᾢG!%rrYOI2D`߷kaw%by;h1[SP4۝C,KQ}`;6-7l#wϕrTJ\r~ʢR ZOaײ Qp]~/𨲔, ; Stone_Relation_Algebras   NR-שv2(MYdƪMѫ[ >#wy$ΐuVFd?껛)chT)@dtнY1uUIsއ*V(.;_" x+(RJHiM/sE:hz-GHAw㕜N\3 N~e(9ė9OqH+; )~ ghAݔllrXA~{؆`6C"4p~v6h:K67@٭`!Lj-"6e£0Ep}"F%w.ukZ^'Iv|YR adta?2e{ߨAJ -2%s)nn ,tsmbxv].49h"dClsmb.S(l>q1ET e6Aļ{g*qR);@5x;K&ƴN3,@lYҩĨ*G2:d!ew d"wn5z"T2$;=6Gp[ӈA dXvfVZZleՐ.a?)1SY$`ӍPfumU5g8<+{»7^SҷJj.wuBRU hvuj4)yȎz% eO5] ET@4VzM9uWJ eڏn 1o .zs,9zKJypNdމ^B8ϗF#A۱J%F|L,e`5cgm 1ɑխ/]{jhtDĚ;%"ϕa|;̪2ri*X3Fҹ2$ ŀ Qr?2^)5gt>!v~6}Vy'v%bls4<+q8҅m$7wqp}e<K=5eݤ=CU<VK4n8Qk\IcX /&}d+˜(EU5=ѱ> ?]5˟Q\E,ߚڡǘNv`w^ zאJhΠg?yz68+QyvxV^p13πjș]wUmq`qFoM3X8_1x44>M~BpwDnyu{ȘKW9U@b RfKp bԋB&-f=01pF+m`1%D;N;J%m=fB< ?a4c_5KWm~Ox V%qrPx\Z&wxoOyVNrY^rIձP}b-osV` |t'鹸 IR3Q棪Gl22N@3 mTnEKst#&.a uçl~7;n,K*iXnU$DL:jp XoFa*gKwyO܌`',ச%,%Z+!GtP2DP 2\vvm ?((o#ATVAM{Z:|$DI0vE|<>n5g}E9q:?f?_4MpiKvxO{pk{@hD9%-YZǧq  d ;䄁b#R3%?]+|.0(n3kŀ%ǷAs.,/bHDOG)WAeaꢔEkϞ&鏐Pk)dP"C!np&Cs(è (qn5b])2{aX5I t7Fj&kOS,Ƥ. A4YUewD=hỐ 7Q$9pOSҕ#J>$`?mӔiϓ8i%d˂PHGPI\-=P xfWq-pŋ=ɢQf\'z#?q4VTjsւ{ \B۴@=z>v,.e}4.৥oh%oPn}(|sqe}gzIR(@`ߢ2c"W7ljfN ¦S}:l!lD)PӐ0ާ (DӰU;{oHm@7Tֲ|`H4"=dPj.jxIG~2kXM/I;RW9>2+Nji2QzrԂ My J); Mظ";V4d]eEv;rLnYn!h}HVkS6|jKn11Tg,iEb]jLF" rptDsod-VרBEԈ-YNp3a! l\On Qpb~+&@x$~f= pM7cBfx>~l:?0nmȑ? )T#bmCC01완-4Oqp @m] liQkc %XЗ/BnJv]}E@,SR\4w<:ɹ8jG~Kmf9Wݹ6/]UW5z{1z6_Ay%zSRhq>AqS;iP}_ +ŠMzTXas~[qu_d?͑ӜXy-NB(d$&VQL? BM<[J:ܹ(YӜq ɴ1l:nS|ɲ +aKBlfk0n٤U08zu3|1N%EEmK LW+V2JY,1{/TBɡjRiOAK