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 ]] +r\ ] Epistemic_Logic:threads=4elapsed=5.732cpu=12.304gc=0.3767zXZִF! ]]ŗXiɟ7KIxjbk- ,O}Ŭ_/k0%m2O׆82guS޺`46 > 6 -iӴ"5y:^~׾+Ns[f8Na0OvVU4Grrԏ5JgYZ7zXZִF! SF]ŗXiɟP6.zs߄yt$ILյV'C{+-%ρQ<:0bT)K}YZ7zXZִF! 4]ŗXi%D4W)- 3h2V0z#/ "KWKDn:a]8dZdM~,_Z8/ Y#&+bn $z82 TVJIl~5WjҊT Yɥ,OaXL-i> _m;2J@~2Ƹ'5}VF[}}qetO*.\sci3^b[ MBxIx+LR4֯6(WP/(#d9ƮPQ3D>TR:@{9h oca>ۘ.Oil95ĒSK]J ߜkr`GbGly<(Lh5Z_s%3uLgw/"(h|x_ aE6#|['GBn r7A³|bbB>!iNj+jFi ܍聦KG䦖t5K3=VEe;cPCα$ $$!"YR+TV\0; MwwRY[$Y5ԵYWE6{Nj,I.wrPiN} ?}<$TSSB5UTy}-%*8 Ph^w8)wHx2-%7!,MB&'#HLC_X94ӛ O]^&WҮ)Y[v`Wn(;^? }B?ʧG]BzR)'yNVo F*Uc*ްݢ.&%w/afFfXݠnƾB j3X-m,Tq{E$#u8n,RgZ!U*=kw*,VaO_hg"'v45PzpFF*5H :v~v_LH ֲ Eec:t[GY|ȟp3_8[ 6su`0 i+gYZ40032a5357c41a15958b96556d737ecdfa498e66c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 + Epistemic_Logic uus +K% lEpistemic_LogicEpistemic_Logic.Epistemic_Logicdocument.tex7zXZִF! C+H]A-MՋhvG"uIBm5 1;CPe$M@nMh 1땘j닀fnxS` ؚݷi)NoKOJ8b^TMm4;"!JXMpqj KU)? Z\ËB+nQM[d'/QώFM v}K;g`.}T&,Zk̼Dvq+>i^K]>qE{6^뮝oja;c^5x&-'qbxq@fl4[i"}o / >ZHb58~qe>T_ Upk3:{ 5`Ic;<^ϝj}5贜]%$ dHmг]݁nݩS|f!l7ym)rnh$SL|GY"bJɚߨwͤG8QqXf0FDbfB`Q&9T5Mg?-J}'fʕoP=3AmlZ5/Uft=Y_kNZnWf~֖CnG!Ä~ayKWY dOK&gXG1| xfN (ytHH #֐gGFe\ j!Tc\OE AwJ&vEgqu;M2[P݁Mջc(=a M*|4rkN!O&L{Ev_eo2Zi1L8p& ŞeS 6>,]}. SD<-c`9b٩F@9 htybW"8$-<}qu^GaxCzЩL~zwV xb/Vw WaV -(eR/, iѶ/>sW癷RJ:gܲ5ך)mF/&>Dq4\9XD! /L mX{="p}8]wRwfSƚHjxk䬫paܹ q)J4 ųTC" DS5TNWfLCi~sZ'ćZ&̤l] u [ia@힬nHAE7sq'zQͳPEo6C2T@ ,l>'Nw!Sʁ+D͈Wdzy#{ S \zY<#0`swx 5'DdK*E@3ۑsyߕ s<&NFclTt[Կ2&b賯V~G6@BQ,R-9p:of(cD)ǓX Mmdo:Gܝ{y{g=f۾' &2V/l=;GQS0)dͽITٷFhVIm_^awa)Yφx, @~q%n,=ºFZOV1"ߙY]syWncݣڽ}8'Bi=nB:e{#5M Ac+kAy[u:8cKaY:jcQuv $͸o&.%mTT˦jyL3ҷ$d寸zvן%<iD~R?%<#J-PW,#]A _8yi'QP/`G1Z )-rs7gg£M%ӄNz^XTݣ@wHP9V'[ NFixl.ǹ_z1.%L YXt!m ;C랈MWm !6BU?B3  @ϕ=iгP;3L~|^?cp^{FmUYt0kbֶf 7{[vZS/$omo866spvITb3 +89ILb6]%r16Xbö;؎CFu {{Pe{YE2-5at\A)Ll˼w"Ŝ~-1j81Zn7ڮ[ IuNl&/V'Zwͼ ?+K% Epistemic_LogicEpistemic_Logic.Epistemic_Logicdocument.text߹ kꄣ*M=L2olNkHWG-UoՀz+ qd׾Ar,Z&ب]J.th2\px2#J86YV'D&[E!W!zo7\1ԓ#6^|>KȭnXq9h+@|c'HVIJVQ 5o.:uDVK-U+/u]Ay>$1g^⑍!A\Ȳu/nv9yYY#zD#n-21/I͓C?Aj%%tǻ?ʜC* fs 6CDh;*y^5eFe/1SE1.f8ZFoO{ro/?foo#Pi\l3o~]['[ >ذ/(aOmw =Y O=^3lr9ZTᤚ=k{&"(4h(30$)l hƪ$q?gaY oruTyNoQ [k ,j!*UXﻋH빮Q*o%.L5"BT!bN%rJy" مz!&ZsyMKPo$"A-L&_퐘o-TQ@ S;&73°AP1?Xu9WsHc]b/vm(p `àʗ,!]vbGb"}+w8fY2#W"#; Ia#MS]w|F)/8T(|ӊζOwv2c{'b]Oe@"__m>d]Svu]R\4>sԁ|MTye<hVeiEťݷZ,-^${h_QlrX|X8ĒmQr<.kZD5;_;LVRFVْZUXwpħ/1QںtK(]2!8x{:p)8Ib_5 EqX;2RHFp1km.5@ĪynC-c=5x4;>;EfA( bW}w;8n\fw'hyEpVqN{NG?gospsuw`Qa-4Hhǧ^k<^$q|:l/13q0 k*FL-~.Wnu1e0UGdu*J^txwL4F{rK{e\U|@` Ț:~ 0u[L |N{2jf xUtqh|1Do3ؘ~~V6AGn3{GPϗl%:W-EiΝxeYwjgᮚɳ Ҿ@9m98/pJ"'[5Z]Q(b CjRȭN mmao)=3߰`U酪e:~ܒ0%4*ĝ'% ʥ% D?y@emj ";!]4\HڙYP+Aq/>P+>6/逰_k 5dBHR,=q0;] 勒WZõ:YG5L¿-] W&ia0Vf Ÿ³ ֓:k|aR}uRlm &)ۿtTNbf2%֬2l0aD1$ Űupړj@< S)< ^q!)꽎RXp5xx-GLXPu"8Q̡꘶_CF] T 4 f24p:[ᷟtyL&uSirǦ楍ޣ=ݴGoxobE=|l91J &p6] wqaK1D~rHF,?-3} < HZxa5$q`Y$g MZq0- C#"Jl }(OZmt :r@70#J1&,y-*Z:5GN?ݖ)珸x(ǩ┮Z02ѱi3cOwҀ>d'dՂLHQ-ݺ:DLPlBjYQ& [Rne1C14L-z L \#%b3Ds2s x|>tp(ӷF]l.Oxv뀘!zIÂpM@R➎<#5bWw,2붌~*(6>N#;MVDK8]o1p0; !02F%A|&A 'CgkY!17*f?XsX1JEAih`AO_ Z^7oNk[0%ϗ7[ `V9?R O*w$Hކ 3RmQ*|KGWrtMI~k}C(kc/7o14xtgH~^s>$v]KxXJBfnB)lABDT`#NR<"ªx-1߾W%e}A+8<**ޜ|y1DseoSTRW؁=̍fR֗HWe 66\QQC9=pǡ!W11аE/{ioLX]@4n/78jRk;?㱅~Vk*Q=ED`$ʉ["0"ZIIYŨJj2Wk 0zv߻ïP4!AX@|Zmoj(⣻GRI+ٯw񡳏Gko/945ZnO1]9TaԐhYS{X~2#X6d3~>;V!0\W<^Ses S ˰dw zs*iT JhygHX ;rGmWtD$m@[_|J~Á@Q"La7yJ6=Tgf8 fC/GA⣚LRNAJJy7gٰ_ ԯʊOJSxvFY: "L?=Rnsi$ )l*|lVk㸬sl8e¿jS>z0"2u-ݚȁ Ă6qaOXoMuYq\#H ~G "#,8Nwb "3ePtW4a'dIxg]cU#}cȧ(;O䚌B1H& v,rR&z3#FJɹޖ(9u*Q}/f& _j#;sҭv^$gDIfe{`ktw|`!'m .W+"৓ݶuXէi߭&j@ $m Q)Gs*D4(5N;JfZҵr$0]ㅕss[rKbs`*?ς=F.hr\a؍EL33V^ZXRQ䧵_Nzz 햾-JmEN҉vO tT;w̑ BlJ.MFMH*-ߙGHmOL쾸`̕הɊ"423iVL,+R3qXl8ٽ[{s"'̄kSx'Ϳ`2YtPd#>iZK{'~`7t҃] ]݁H64haRvNTlD>Nac&)p<q&Ul?V&8_/GtP㹦O[Jv QI^ |^#-1%ܥ7CrAýʽ'gэWݿ4} -}yWIO4zSrA `AR}R9;VAS 1 !hEم\7$uO l0jֲy~[2`p->VO1G=B*7MN+knEN:-` p6D)@n=g&"WwH SF͢K:oMƓ%X/(H@z_oHi,-Zcl<+&\Úz.$5#OqbnGaAῑwB+kJC\r$ ^ƥh*LБ([S>YritkrtA _fDm|A) 2X$Vc$Ly_jI}7V\ uWW9W@n2zu܌4(찟XmYTg#.g%)_UY+ndkΰnVD)FMG 퀒(# +87rJ^7X= 24p2JnrMJQ}C!Z.Qtt%"1kb:sErl33XED ( V870ltR$œް(< WIXssKF?R[nfr=ț ď8$9) sxNΧ\d3KFcl((;J@ZVtQҹ.y0{EOHpfDW~WFFpvQYs{q.7psy㦠-+C?JX6Ya$-,uC'کjl=L[Ny荹OȬkgBWfo~0,T _Yʒ`Ciiszu@2K ^mlo5T967 ĸ +C2:x*?LDSȁ}ɥEO Wͤ_?NpDŽkaEi$iut,2gmFY*T.pUrA0Qڄ:KgZ7uXȳ6˵'Y^aS5.mF>phi7)VNlS ȔL**P DZG~~Yf''#S%Ճ'UaO]0s_:bJie|T5olgטHOVzx4;d<-ǖvl]րH0)ʪALy[2G8{ oPL?Og^gn0pbs="91hé]-`BuX[}Hugyƶ$K>!ҒTL}/9ZXZW3$W2qґWh`=!.PLr#n.'GY ݗ乨ʶgf4H  8keg4S)uiF:^(rʪp´4?*}o}y,O@C>Ai21L=+C[b[?l>,}'Fnb 6XZ>eM(|;G WC&`U^͓e-ܰoǚ,vlep%jK>PDۗ4ClzY{Q6^`əHoGFkkpQɊ {_!A"IH=|׸\5*Pc9,絊)07tH Ql%S?t"OWCLD3lrD0 ly:%3j`*bbʥjo giWSRt ~BleNH9dH'Ճ MA}ycrLa΁^dN۸OnY1Pޙyg]455DX"r`6qO6c&6\SɥuY=G_dgyynh9d3/K΢U:t>J?4_} 7U}w)Llm*/ iv{F#yN4`C MQuKO%0ûx42X)HXQ1[fBQ]"{.PƮX)҆jټG曕u(Ւ#a*(%]QWcCstr U[0a!ܿkb\/;)߻X7!ei $7\w[VE.`ž5cU*_^L$&bMx;}x=Ɋ0!XKec=oF >;^} ٮGxٛhe*mNiz{Q!f#sJ~)c)"[Ok Ya4'}vSߛu䒁fԓsh8MKVMN0'ﱬc8'&kƌ : MF@@C4B8Eh!$MdFԿ:[fGa6n/Yd\G:#]ek\W4Fg#M-ܹ+ݑ)0欅GnʾŦQ=Q82!lqx{DVYA{1+IuiVn(љj|h(^{x(Š ]DEQ&4Fʯc-)\O=RQFF]{ ~}NHyNګ:Xk0^Sm&c'e_Xb¦vUzGjVKh{Etk#;\=w=\Zba_ X09ZxVCV"c FU.jY[$=UD#4 CE^ bB΢'Rk̈=Voј% !|V'{7 S5ĒݟJ/$+\ cR‡Gیԏ%=RRUQ;lRqB>:!-G/z܊#vi=K.?pW,|2dLP/0t}Ū-\VJMD'Uժz& mɛwKɴ=`F ^\6iȀ,݂]=Z$D'VGg/"R~*`gs:V:v*$x40/|_A]\@ Q-3 R 1"<#gA"xCMc+D]Sk*ƚ][&N1}Oc܄at*dfAsRBaoxiES;}QYgAzLQ&\u8zx :h1/QW}wm.X2yZϊQ>9g_< Yuќ]#8iTs("pI͢0I2I|4u_ۆ N|u.!!U 2f;9c^/(۫:"':׿x|2QV ?jE ֆ7dxaaaw"1\`t4>4#eHM8nqʵP>ν+L'E%\R7l(cXu39RVZغNm< #-4qD&Xu9 s{Bh|⨛Ad 9]{TZ"oơ;-'!741 q$dz N~`"b{G.5R&MDH5>֨u٩*өyS4[&*_TfmׅQZN*Q\ \ ,X?"CM2}ܾD*8sy;PrV,MG9h;JB, /a G+Sj6D^10Ā/柰O4A8IIb'Aj 9 86Tȇ$rcg_[Enq犮Nsz.qӈ/˔CV%.G!?#6"ar9 pC$bB"mSDf8:`} ?/H a%޺PP-N;Kp7찣#`NSyai5XzꊅsY"iŒzъ~'?!}ndG82y*rRڠcaj uqS/םwө9_*7_(֘pQ#jMlW`%`r؜K2ݟŸ[#G5t.iU:ٺi.r¡|륈t[%X#||ʢHZ%(~YΆFmƤjbt&l;Ő A;8>,rUkB=Z[ #6sR,) D7IA߅m(!u0#DgAL'+r89r SUI]`Wuj9 izv ˢuFon?ܞ6)tuue(vh{Ƒ+ MIoJ ( 9b&VwAyROfZ 6f ZHPns)^I'l}`켺 @6ԣ,C>(dId`vDpBX, ,V//f!R6o2\ݏIzPzxViZiYﲎTd,v7UXV(f cԙ#<,8Q_Vgl d0@[1XԵͪ[<Њ[qСm0'yM4;R>},AteIeOP)@H5H1Ľj&^oHyO=xSU~.~0rpɚnwqx ̐TE_prp,UNr c& ] KĿ5Ô:_.3 #c$fψ?IyV=HňÖb^-lbdwU6fs5gEiUcƶF"3DCzQQSZzBd:Jޏ*֪CX[)0'Egv[/OTඉ|4>,h1ϬN;6|Hü9Uu~nzj*"eR畯)ztǔun^A$YU[_/n# |$$_*Kd<$UP+! wEG}[0 QV2%n4J#[ 72v.zƔPk"4RvVų>G|v/2Z-9-4ϳv%8j2s~}L7F\+/_, X=wNR*|Zm;}s qX.Qظ;[L"*nʁfHq"eb< )$ U$9^Z43,/ŋkT?7JԥB載uD;G S5nJȽ49%W(d,{5 JJsr?=eί(DLI@wR b] ,v^Uxw\1#(|65W̴Gp(7 (nIaP1s|&@@LtNyԊMcmjv"ݧ HWQ9MI:~6}۫lh6>~R۹jwr99-D m#!lDӃQCwaKCvx&Hr(Ĺ7oe6^@-MQѽHlz^=D/aggo=3{r*-H7#m|L5{8 .wj󸦋G^Ecs;4eby&*ה:9@x2njvEՠCmmr-sw:|n&"Ir[,԰+T ,p7XM}霜f ^Y+wV=LF%MZDŽb@^-׹X0dH.2 7\04{2oOU8KDc5QJ+.a)W(&Vnơ|D }b3iJj~  9G}~'¼ń×馠F8OrVMƳs)lt+ WjaK ey+Q.); =˘ G%lK5V};iYou.+UUJFEo~s}# tp2=.,t:<,7#rNj4ujWl8gγߏ2H#N23{w0ȡg3?/$CW3bNVh4>3'2a8rhymf>vftUEj1Ke 244Q=qK{ASj$fҨ!#YO]7uP%&$p^xtts"4 ^dˣLJF Is\QUH9ty::He˛Ke]㾤cRw~!U H )ۧEĂp#t\^EؒG=ňmV>N,Zm[њ-l3=Ŝ+jOBf)P%x} l`ZynяXj,3K+_z4svy6Pgq->vP)ݧ+H$H'#ݴ0gī+e:h'A]m9u>*|I*pm2r:A ꎥ0<<1KJ[p iD]Wʜi)m2Y O >~Lzq]O4sNTʑ6G}*[:Q`͡(f"KG[:eˤT&z B&Tյ S~dbWFI=IkYyGI[P$ I~t 0Wt7S$0Ʋc~ p:A8 5( @Tx"$M!0f81a.mՈB.>Tow C4ւAAr? k)jFYjYfɎҖWUO0<ۭ(sR,. fMtQx4$M7pUZֆA8We^*M$}Hr}S;U ,6,V`% 䱑B&uwJevmV Nk` Koai0 R"R~B{Źۤ,${D"d7鍥Ok2I Mh8Y?w3SwwG(b(Q!)u;|+ѩ !HHzh