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 yyx4D ] Safe_OCL:7zXZִF! :]ŗXf[&Q ϕaav@jU 3mSV=R`H[0;.Dl|W9:];&H3"\c\RHF4u@P0#Ae:*56 !C_jq2D3|ĠآNi~mNؙ)_TÊ{Q)}U+aCЙݳ{ .rE&T-ѶT_h,9gRMP>L"ZAc63?O4̿0FJ0S#F _Dr7-Հ g'jGi\?d^mnS4""w%8GwTIȰy[uGeSi!Ro\]Tv @s8CA?zJPp}s5j/$/㫒~akdr(<>rK{V=qk}} ?BY#/+krJ=KjP^=ܣ3>g!vx(w9 u_UgYZ7zXZִF! B]ŗXiɟ״o%..(Jm J!>n;Ol6 F#Xl OճhTlo1ܧN Rı܍"߾Q_8t5 陸r ]s =2ͱɣ wEGcbܮuX?BqW`" .jRic^I%0J!ba98CJ[l*=YZG8@]WKN8DI8bZP'b8dO6 -iYRQ4éd$OrgYZ7zXZִF! !]ŗXi%Bt*}Sbu1d Z g>+;X/׶#_Ri?wHDa@/A ,x|U4fx!$O%rTlE*֝(h!71ÅmgrڻܥagU:op}?w6uT)w}6wz!_%β>   Safe_OCL  T8-WM4GsĘuΎ*\tOxu0)PL]ҏ:1auE"!w󈫙[])o3(\6rL5Y7]q g #;,h,A=l8!"_d w!W3ɳ߄8)?@Giu] )bHXH}ނX 2-͆0c@-ki*ly7& Ov2~S 'M<:;*ݖMt%(Ъ@fx4QTwSCBKC ww#\E991m =e롲`8J2XDcO0E$jAʅ{F 'h#w^:ǀW# pXD^Kl{ޜeBJ:{{[^"fTI6v  do{9_nyn77x9NҶB|q 7^=M'`p[9M"]WgeH5UvH$6wP\hM[Pb TQayB P͐M( tCSaD{za0E )9E}UN謄Z.9* bSxId;Sji(k`05XpR޺IpwE J S.3H8&-9rIppw$Px(ő`G ;UcBZWTurǥ|iajމnf@{u^ګ{tW#}<3[`,O)QęZr{wQBk*jK_M#(#qD\?W~yQ Nݥ1z!:xOe^c 'wĪFc 0fmK+%(ߊQۀnhYa[}ۍmYz_1ZїU,c>ZޞVQDEx&j: E`qβ Dv_"FN{ClZ>6RG0>X-UOFßyRoM&Z~lsHIԄb=~vk0 O.4C#C "jI>+< ||zљk[k{ieJX`Ji7ExA\hgDX(/><PCu 8*[)׬tH{BTaDVm:I/ko0df%ԅbGKHBB(BInS8 &R\tJ!7h֡KW~%!6@W ( =CX٘Sڻ4[N$[E,yH!VvZNvQ^J$!oF a.҄߫W3 FH8ν|c$}.[\1&BrBx Dt|J4yJdujK&t{Swk+tMl7ȴT%M,cɈA>5[ٌ]҆^T1A1 &ݭ"]J3y=.o61)_ђC!ޠ@D+,q ^7)B}E\Sh3@]糫@j722<e2 .Ic|:ؠҊƼ ӼU VtCaP*PGR z},J{>8Bp>[ݱې ɶPADh|LJ/sqNC҂OjMQĿhI}ʘUG"|PX oH0 c>>v~5ˇL_X/4jcw w2)ya,Kgz/m6O<Ÿdw'B`N.SN2/5g ÞZ*@N̯WP֛J.$I1C#ANp, 8"TYs!$@0y=~C.?Aՠ(Gzv!/huϰ@@22u[WN TE5T{c0owmm7 @Ս֑!#ٹ""jCD+v~wGh=ܾw#:!lr*m|~q:S9!)hW~G>U-2aݢX,OJKx8L`83\0LP#6'-+E"qN訁uU*Z$F(J<mE{%K ZLGo?z%uOӮEО$1[%E3߂Ċa(+2-LV`71h>Mpo[HRm3.M{QPac_Fb|q:t[; pqȴė/4m =$ 0'/HuVIPQW_!:t$cR2EAi ުt HpČƜ  :(w ;J7":&(#?cx3+ Y^?rIОaDD)}[)\ԩ[sgAW]f^^襝-O{tUfw. Hw~2_uE_ ɺlv@6*n6Gp<$@nXAWaYև&/$z!x-u#+*u; .|dz0Z! EDlaVٟ\8gYl',mI_>~e??,ZFFc6Ud F(C\tѺ.^=I.v=IAR8 &isج"\!6)T5c}C($cge,֘c8NWkcaB26Ə~ a?hՐ&iEޕGĄG1~ԕFRS˧QiF+VC5//#dW$ -rW Qbs3di2a6or67&c#5eWJG [ F_RZ)'gc%H$ >ᝍ0 LnF-aBmCoJe ^ϵgbZ3%:D\7V.P)? t<>PJ ?*;R^y5y; d%u_;vo<(EP̵FKZ[Jʾ|qZ!JcI'|IkЄCvkN-_{3ޗɸ߲^@ ,diH m+}tڨ$Z?gs=Yzw#q?=D"p{2+?.m Jjw%cQ+PK"QDlm\"nS`GǮߢ|xxxUydgO%, ]'J'u?kǴM֠yN`Q5{DO@0:8~[<8z~DM^@oGMԃd0ni%  MH.6d\@up%4Qpox_Wa(WH}#o\,EBy q˺uFݪB-ؐwBaOL}v5{bX)pMl)/׾c^A"r;r틠~j3kk};f|uU6ثM_{FpS## l.ҥΖ.3B lD)-+A%zԶl-MX."NHP)ӟ~فѻmۚ68j =rfb~ɡ;pF;`k$3ecِMnqaOvMDyȄv3-ۙV}5N4| : J4cdYyfo3k^-x*4umZxG'9?p7'$s͚/85kCIJo 4Nط#x{IԛNjs F`P#TaA¾S ^ S_o_=l7I䐯RWs8HO,kpWP ,} XS~~ { 6 {b-Ie;ਝ< wȞ&m8fjx}WjgWsK%#]iVctzv){]fs0U۰p,ZP3s]uP±8 wV)"bIE9 tAC/ W)F`Em }O 4 -)8OGcu]n–0Hǰ`Q]RG9KLBic\hEv""CQa}@mac ]:wa@.6ItwZt@\-3ܿ1JV Ř,Gu-ŭ˵RUQG3}]] ^HkL+mn~!b16l>F04k}ХXջnil6۟蜭tЁEt?/Das'23 UȺɞQv<z^} cp@'몞E6Vݓ1g{qBrfgs!΃lޯs )[ /Bbtw-RgX>ވ=9/. q~>'ޘkO@1)4[UPY +\oEeF9# ɫpWI}3|h5A1x;@lo&5Vcvmi˃F 6" [pSJHb|]C`-ͪkp(ݚ:c\cI^5z!"V]ZlW]C.[ޑ<^OrD&n`xx8E1S7D{\(rni6UCc*3ےAm̬s&7,*ɦ..Ղ#IdsC&[fk+}T)O yQxOgU_0#i2{jic>ȵBem\NTU!wsq83P4 GU)0n& Jt[Ocbx¥ 7Gt>L@3''_i\ș(nm\l=2+^9l+Rz PrȤSjFcշZlވ Ygum7V͠gx3!J/=(fYϹPSo<[t.̡RW)]O^wO~ :y@8 fM.bߵr2"J} hoBF5 Q":”?\qa +PW+ ;-vr[;,Zj@CNISr)w%L{蠆slO=OMb;}Ֆۙ4+=4ˉҜ]UǜRȋd/ ;6 xty? sAp$FC%ie*S'*=(EL <N0N#Ćp?uߒY$I~#N!͈R`pq4ךy)' &}/ J߭.wQD@5#:̍4Rj=W.SZ4M,?Q'Dik}XIɂK폞PhE*aF +@ aaR*Gva9NvE47LvWU\5Uz@=)['s|9c{QNc`=gtʤD/!-XtN)HXK.ECke$)jxqΪl 7܂@Bٱ{3k"&7±.W4k= y(b|bpNg)Dl=25rrUnI.&u! Z'#%,<,5V0on?Z-I$E'`u8!^m9)_*/pm4402MZL\h4Y]H~@UnI#_X[l,窱> S$?J%v1铌a"}dۻ !SrkU%l1Y*&Hen+)*d*ɔ:7UfnKUP@ELhD(h=NE0gcOsk2N yjbd*U-X?ĮZ1 ^/j{B#ý:VƁ ʴ4 ,P0Ï@;p ĶNI 8Wu!}7jgnu} G^Adgik ݝYp5zSVL˧PZFv/?S!E2ltǴuch/T9Vuͺ3)g{:YQ ̳iKdjGY Z cJFQӅO}MpcXw