SQLite format 3@ .;  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 'Cl[lj9RTV]l)J;3F˛ݿ2PV?+*Hjߑ,G̼\̭K;Y6!W/ ',}B/x{< 0ZL>n`Xkq*Pmlo6tֆ;/?g%] x-B2c`x?!kl1•ؿF܊0<>J K>/SMg^;&UǖrO:B eWw}RQS'Ig5B#NA| }V+0< Yف~u/3,/)I|`#O2^R4DQR:׿<17Rm!ɣdWݨ=] |`Hgb%ЮHrq&dG̚?E ; #gɸpm7d7;Ph9^`kSTJ79& n5s9r87AmډA9!1/[S3<n"Aؚ7 ca{``}?PC 681 #iW-:zOB.wܺqwj+K<&p!^%K"$^:ZtnxRySb1ִ}R}xxG ^TBkkDW }xۏf [QHw 7|s@#CF ֚LO>'A7v7JDd+]gt^mR?\%vuVcn'8d$HoR-l5JBC<.A&qEQ< Y9C,$67X7:'{il$`.4rU~5fG+*9geʄZH@2Ģ>}u2pnJBP30ͦ"Ps^Zg蹫Lr>'KVj2 9S}STt.A?+X cc@UOpŢ@vZqeIRoja+fSZ>%ljLkaUȶ݀j9la ÁF8\b\ޣAy7P VCҏŏ6GO8i4"JNHM~NB=VH3;bp^DK{ DFE&~YUukʏoe8W{X6=%.dVw&}GWVQ3 2M^8Z^Qᣎ ̀|?^Q v/[Y;*ҺROUGL|%M7#M%\Ot7\hS,c}pϯb4_3LDyW` 3eQ 6n9Rh%IG=YåŽf:iCMZvb{" eJHHds71M0uD!ri{0)eFO:ƍx_hx$17I%1zN2cL9Hsz!8N'e,fk |dH Áh@HLLrϮZ^~Ag%F(͍YaUsEk̏2 $nzGiE18Z[G&KGAI}`z1`z-KND#6T]&(\bzCNrLfq 3$)|u;.UVp] փW#v_q.NGbxr\Jhp'WliծNW-96_*gWL>f.JpfJE͇:0V= Nj÷7=֌o {Yt.t#0m{o3Kq%:H-]t疟=Rz*.b9yoXMU-|@U(gXNI1}Eu`|iCr`G/6b(g'FS$8_A! 7n#t VCiQ 9@_M $F1Azg,sfXHc>th|+c}VJy栽ۛY[.eEw:dSޡ즡aw#i8y&6Pq1g`Φ` \N_2P4\x?^/*o(CƨBddˍgϢNI)SbÃ*E4Eu[Cf6B~8x,Lf:Iv%NJ{@jm˚eo);Sm7kgoMs}DZg̐Vdd:NKS awKDuNNz}^j`jG[a1&o ѺM{aј+P0|'j0~;R8W2+xٖiݫ*/,Jajqy6 i] OZ933{kFOTN|a qMcm.~DgYZ7zXZִF! ]ŗXiɟ1%c\aE>A}hNچsB<0ai^l#C2lE\%?8(G_eiK1N=%ϑFvXI[}fdgvK ӹ̴(+ tr\Mg$ˬ2;zٛ!RBᑓH|hTŪ)}ӑɳ"lJp[7r$ K<4lA/BH၎Mx|JC~E @r}Κr9(s0ZAab^,}Ne(G MYbGQ<7U TN#;&I$ s0@sX)Hkk f29yV5SY+L9: H0}wӪmGA|pAnUVWWqxo8Wcͩ^TIƇZY1qc;M0zƀ\(.uOu @ovx5~ F:3a[ ]o\`+IMZdMKa/ȈZUAɠElalEK3 fWB zgVԃ*$:7'b`&gU6"&wzm$gMRϺ,:o/Z?EYSc\HJC79;p'p> 5zPR+!™Sw>KRÔGոoXU*RJKKKnrA%nϐRVɈ<)? H㒭||&(XIH9uXvKm$2۱gYZ7zXZִF! bl]ŗXi%J+5(=;oBdI3ς1(N9Zr}:cMÔeb( t_Beڏض#W` ?ZZ;S)M#DW]m`b{X?[Ui'X+qjML-h̓zX gd| ǃhEVQ[Y]J8@$D r (9bY;wqKbq~Lׯ)sDWOs5ËR,$5ip0E>d!WW_В}j3HGXM2`.Hg{BeRcoP-Ce˂E9Ǯ;_UF!t8 j1CBa;Ufd0 伀 "Q*VlFi@^gue"ZmE,.*A=]зW6߇i 'WU8ȀT=QNztzBd9T#}b$ݣ9#Bx:uYZL9RĚ_C  r[vѱFZX뮡(-s@|iaȖJ̇ )frTX!gImB+?sf!PÍ4p|CUEwbbBAWa9e(Bcq1jԚl4HDR4c{ofߺn36q5wN:90"-!&٩&•S}tofzS`rzxJ$HMh|<^jZ1F8op;ڹ8*(L:!_fƙ,K3 ?= w67'ǹ4JNǑVp`dOjNfr!@03u)<^qQ,ZW' ^MP*JCqg/%nʒiVTec?RjG+)ճ$l>`/^XEA!VK!D 6r8vRpl>e ydψ zR0H*xK ԙ# 5Yf PvՃQwv5a2a.4z TY$~hFq-߆~EkU0WKsڇ`E45w9΂ۈ'@g'Jd9#>2B_[pT"D_$wP%)Y=,$]]HsƯ3kI RI3Ri'yGu6+seU☌p$zDƒnb[)OAr`l1=\=ɿ _{4 Gk%wD>}ÿG9qCb?a(oRHղ1sN@ȼ.M^_%;Oy_eC ~D%|0Z"#(=e B*h}AW$^'tQe.V>= >84a`>!5)=7VyFDЙ0?*-=>.'4T|]Л`>dO벌WA[Te]FV<(:gh:SgVϰL&.)WU߿#fx%:(X#Fӏ| avVmu˧Qs&\>CT(-1a)sMH}@e~4Pc]s4e-JTyDֹx-Nzٔ1=:g8p@e'y|7C.˫ֶ6[xp5m oy ז66 ӵ,1m35l߭ޞɺ[ '_LfRW7契CWLF9vjY s)[sWK;LH$#t-^kiBrA=5Nz0g .+Qf̬Y?Vl`|?ΔN{'?6.Hfj$Ofhz-Ubړ[Ч5|n1Ƥ%7G׾{6[% ߎN% ; S2 CԮo2=5M !$5Qi0 s1? x';eRL]VKYG`KZ\e,ӿaX%J֢m\cU"a.:2*տjPNi2M]1ze>H4zi9OdHeJcq ?u4tX7 u.5lWuIf*V|qReG(#y*fP7lqnI(/ב[me&HL9?y(T E\^2B~OӬE9h)(VPtGBuV59vYʫx V=yuoAO8}A2UC ansxZnG-FI+D ?gVLԴOI{V,b$x:X3Ď'\Ur$n'W+wvcj6sEf'KA f5$~.OJӈuI݊`l4P&d{%7(o=WMoQ1˅XsSٔIZ_[)+k^2UUh-3VRGν?߀r9%_뻳%3 Y7+~J naK҄_m5iaڴ6ZUw"ĨB"O d~1/#WYX R/o?'YRgA f7vhnG@dܴJG#? =dWU23F `T+HU;9aՄ O+o ` X $̸ɰ) _dFPoG{K?WO矱A ``_$&MQ>ˆ$Hz)rM t󞰧u3G++I UZ/ ^p31= +cFGJ\f۲DJm{Aqi費\jFD{ı_}9y/ vF϶VEnfC-`v"f󒶁M]5.n8\2O>췍H roHS'?Ku͸\laW V#eۘc^,L۪ +=g }'$΍9gL*^m)e'Jy?⳪`(MvvJ3ˌ@:zFp yUo~ p$;[ 5J -Oa/h2z=ucN8lс&sI!r]hK] ~7_݁qD >2]KoAhk㏪'2]bƄՐ̉2/1֞{*3iiXi5)Toת./H:H` n*~g$|]%.*6ȮY"Jr^%,%\nbij㷗 K=ǸN`sTNөz[bT E|0w&%#S£| an~ -@9evҴyӲmpF6L$a|ަ 6O̯DRW='l!mTdrfΞTB_1{En >&Dbmz/:2D<3o]gCSdĶi[ FI7%-Lt?|$i2w_4KjXCd%>46WqEa>k ^FDD `̋ht5OِeDqÇ$wv5ǂ\Bd-џ_ľ1K t,P&+'Ɍ)1^@>E'X8RcJA9_mv{)8$xb( HrU6Z8 $3[sxwp7| աĦGE[z.)B[ yke r&PtèM,GtGS|#4smGKXNd'cˉpj>YM`lεg 8L*O'6y'aio)i)GQZE0"XB0"V;9Ba@8s/,=PMGtuA:Y; Gx˜JSwt߅3.gRQ.{h۳oA;nf7 M_s`1,Jî<lÍs'LM|6C.MY>n> U