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   `A=p *C\캈5P Dwcy]9 2׊zP< !J%aM-_Y!e' *;?(xSP`6:W(~؜Lq+lT5x_0gaU@`l,),MRrJ4^7=y6AC&7+QG,i 6>} CIMBl_ ^g8F?W$hkE +n:7v2 /bs_tI{|04~.~]jf=Dq&@ (C_}rQ*(\%~Ϟfgj84huv:"%Le|:.Sy' 9hG`ZjnlJFn.(ctZW[tE5%Ԝx=SնF ={߱⎵}(CoguFkk$f@0 _T`g6E*QBÑzFG\V/ xn(۶d如Vqm{s!LM@=J6Iv8s;3lbQ$^lIro?H"דּlLt7ˢI`F3u/2%Pni͌DrP$ۙE8h\VٓR&V-l?q==!BdYI/Jo} K}]! y,ޱhD1,Dq_P){a*f#RR^ߏCp8! :&#^ pEWWAazu-W6#ӌ`9(.ݲLpYѸ3y(3B`k$#헔x_f,(.v *v:1aWqgF z6,}qn)tf+" j# xߎ]y.%Xܳ5e=U[Tuť Up GGH ]Fi$Xǯ߅*VK& PJ#1@d7Zil:gԉ^Ѻj A#\}oOYnI#mo5 @m`|)m'[%0=q$W1ϗŕMy^bbՄ DV@4%O. *%.L\:zYJސ/gdf,cو?o5 wZERIΞ聓XE-ԙ2y̽}4GQx zJ*n(pV_8@wEG; 9/־&BaX`TZ걎#mū2:VpQe 0u@eH+@ qz%VgԆ/S1j;[*+ ~(2ۛHwq n6f}q`$x)pK\y[!yz['g\\tI(`׾I'@f'$|u$kDNRjNn9Zf TCP>[|zR7yiG-k])>h2f<ب]Ob[ Mʞ*ee`p1#lQy||RA^.icwE*>!Dey$D[Z"Ep0aTR)qaE Wa1J#bk 7z%4H/w ly zwn3fz\_FleL 3VrܕR:9Yf'."66V`hDHT)qޕF5!m z 7y_]ĈgYZ7zXZִF! ]ŗXiɟzJ&Wf:,™jC&%@ QBl[1"\N*QV(Ӥ%mit0#齱g)0"ughJ`{pē=vB屪RlW^0@_2ʧ IC/w+8݂lz4˫tg(*8;[s8g.Z-,tdSOBCtNs&^gYZ7zXZִF! !H]ŗXi%BlkXgt6mV!^GxKFonVJܜ&4_! |QKkGa֙$=(C"کUXmFA:jz U5JNPpNdRlxP\&̟:a2$SP\?Ki8_PJ6o;uzȊAݲQ>b#QMXӊt@9/ic2<>\U4 /_{_pV!.=q뛙!OrJ1\&,E?M^Ӛy>UOʗ/c+w$+n9"9s0g4l~fp$2wFMa|(wffKN _y7Z(*&~"!>22霡,ʜ՛2tź ZmSʣ!ه?~ӆ6Fc3IiտA(7bX/%"|kKxOtjrCֹJx^ l GY }ҩD[s:>|PnWa7!M2.AFԅ[]2]`o '!HlN,Ź<flDllū@EL l&v.Ӹ[{RE_>A< ~vL==~GkIyeaˌ6qMpA:(y6 l[MJnv'iW2xÇojjX!fl~2' EYpNq4~vG9DÂ|(vu,9/t2!+ uNt)L"P' ^htgis] 9 \ا(dfʳ N܎Z)(}PcI;DHtMMF0bD~"Xw>{>/İ14,l.3?u5־Ӵԍ%Z艸zgXnR&语Q}2f f)17Kl(;Ocb`Ac?+n'M|2Gu.9ۘnZSډіT-~3T}`pGRnXVyrG~iP`I! f1N\hme7!y]vF!®nJnB) gvu=sp's3`5jY3 u< )c:ZhѶGD2")_K?PRp {PJvsɔH#!D":TLM[a-M@dчjʅ_3Zqnh2K-amtv٘µe|'JzEc%@P`(f">Cu̫ ,iyL$R%kC#hQ )o8MNz4~.V&5]rǴP4|(وU̯&+{0;g |׿}! %щS94 Gp;ͭ%ze 1Q5Ddg0d-H\aVoVj̠Yul﶐PlجM r֥Bc@mv$B#ta.C5nB[K!c%zυ:`EHn&x`4NځQ0Z[FܕBQΪx(o֍p=iAL妜"ƯJ\qnwĈ X8wb#:=A-1^F䍍83N'c)XFUxFI5LQ^FVɇF#BI(Jz1?F 'HD[/+47eZ N7͉RYGz<48!s=Ԭdb<,_KȻ8P _X+jHU&L1c$(~]+/' 5i G&\ a*b[.'ZV|;әb&񜨕m# K17Ș&IEm8j-VD ͒qhY;JO].^WW2?g\> M@(q`?uFl3Vd!yIkU}Ygsvt=u :J WtP'Mx3!I^k6@6]к^!,I @ @4X<{WPfL=ܭLW] b`^"_)ԩc|YK rT=4g[ϜkUm_zVB1wqR6Q3(kPհLn;ϼv5Z:a;ZS?T=Dac$3CD+n~+Wb1ސsEה,oޯ(ѿos\6F=K uශy0ޝJT0*gBFu@b3t2H~r\zQ v$m- PO&|% "@ `Ut`˙{Y?9dm$ڡ0$׮:Ѵ bO@%, 3p[z[ ?[j4ÿ"CW:#e[E %B|ޤ(K.40)(3#tSZ 1)/9LI~uݲ$5+ٍDAoΛYT>Μ# wH0cm|b1LaA[yNH70&]ޫ,j sAL$鿚۳̲E6t9p%jN HqgٜW/ɷɋv"Y*\0؀=wpFN/*9Z@pƶ$N^@vPU-mSX?GK*; ]g$D 3^UXw޴A Gʟ-q˺Uw=麁Nu>3h.s2Ofp^)y_P&hh 15Qԍ%{Lza<Ŷ jnY7+;$1w 8eO]#_ԋt@7.] m8V҂5*$n;`9]́ GaY^C݌SN ԇbVP b=E[pAdg meQ5! cjNv^JnϋUaI44يu'k{@6#M_h|) Bp!> 2PuOT;- U;uJ}`@-n\77)gUJm +Ռ'^]5Uyo!S–S(.Y].1d #nۨF1Zm+8ki&_M0,lO!If 7n^] 9nNc F]XmONuZ:,#_ӈɘjqY4Ğ3j4iF3e%g(r{t%g䮕F廘մ=:wm FYvwFE\=AMC~PkتWbEp6I7 )*wi'[bMkP!8L2AʚQٞ l:565CB Āb촊[yao/Q!Q%Ni ceUX%)862gx|⓯S*dMZq6WeHQ/KQPZJZ9܉`V{5FM|ݹftDLWy ̭!qU% L${1{geZϨ2`S55TeNX0!z1@{_m$5psz/Z,eػ goRy>0kH!WD$De䚎soq^S膈]Hzh]*zrf /86O{Ưs彡Q^IՑ[uvιȓypƌYGG6IC7Yq;gM{wȟ M= 6/(];iddsɈ=nT L'vz*WzJZJB VVfv;|D`ضUu΁k1Ĕ-SG^* ZRSRcV?c|z¥RyvfRYRKע{)B:_ 1e.EUΐ?z<3\r>.JH]ە~wiQ1#uEw^H`0X>]i F@f@|sC?Ccq:#Bn$-0Fc@VHLUlF?9>Wn`?M~S3`,1őBp^ݰj DO.弽4}_\n@#%nb8w԰HY󗳎JH}pxc5ʳB<سgg*O*VlQy;~6\#۲U4%igGl ŴpHa`b`5ySDѭs$UHYAK$[5LIY=V*J{S>:2 K lyH]#Iy[ U Ď>H0(9Qm9u,  (!`Qo6DËa#Ho ؏n5`3/q_P6k.] +N٬h߯4x'XW_+qCL!*wiɅ/+?Bw*rf /Vn;f9a4Gi*C茙^$6/ zU0o̪;_ sW$dE`,4rwfZՆMpۋgB0] {+2AWۙYY,Tf55tRq"jI252ynlxbdraP)FAu,\RN]G0n%NyGpUk+^;6(^zKΑ!r4VYta;ԡO= Z=,[ ,}2ϠB E;Xۥb0s*a%} g5Ѹ!2IOՕ>7!+4V1@/z,`܏ng C)"{cgOt\&WFS2Q[2R#kq[̌3EsL\Rk{C>=>5XggKt~8 v;TL4\/%jPF; cO(3z6ܤh~&:~I7{I<pv61 Rh *JYB,=^D1~Z! ?`dBsω.ԛhdg|Kw+DR7 Nw0ЁStjD屬AaFЪ5a9JJ1Np!Y\pMQ w >gۥnq :P