SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  ?-tt ]% Surprise_Paradox:threads=2elapsed=2.401cpu=2.980gc=0.000factor=1.247zXZִF! ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B MH۸U ^޽34T2q^zsh +kE>JmzlZPL0"5EG2k;[P ?0U14;6gYZ7zXZִF! UG]ŗXiɟ. oۍ9W>a!^{X {҈1C>Gw7ƪqH =0aDi$cVy^}YZ7zXZִF! 3]ŗXi%; ?yS35 ^ K:3"G"8.Cg-:'|OO/sL*:Y46R[hn~K/ɹ0^gԄlO^"OeS>ͳ-AL(,m{Rg0Fo6%HLJ|Xh!P]4ցge XѨKU.M.2)yHu0ttWU~I=Ëy#ɵNEVHwnӱñ~}bYuMdq~= Lv?ŕ݁̓(M$2N'2lZ]Ғx~-;ieL NP=],i J,bX_Z- vWT%빨Tf2.`7ˌ_ZKxڿH`P! hGrorjvP Sb9t,T 9?9KO3z7 8PnOF5=,v$P39$gYZabd5831a32e6f4b11328c4be05aae4dc69b1c26a0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 87718d0c1aebf020a6cc483886932b0e8197300b b99fd466bfce9bcd63f5212920b2f069f7c60f5b b6517ab60d626a6de8a2d00a2a26d6c431a88e14 288394a6e55354250583fcd131302d5bc1b6d986 - Surprise_Paradox   t-O% lSurprise_ParadoxSurprise_Paradox.Surprise_Paradoxdocument.tex7zXZִF! o]A-MՋhvG"uIBm5Ȫp-0N;;O2 ̓d7,x Y!'Jc9jhcvYd| JD%]l / 4<J}! _3LKchY {{.?=ѓ'OL2mDKao3:V!b$fbx̵%Ld3:O2& O q PncjFw+?$Q[HҨ{+(J W*1J(1ꬬk%/a)ŊtjV޴B]_ɲwWu`got@)+0byBg[΍?ɥ8וp @wyэh0Ċ~7'd?P/Py"GX>f<8(ŨN\cB)J7ҙ,5N6q8ƧZ8ܦ"_(ti Ed^d.+s3f%k`3 qޑ <0ٵr!ȇY易n/Ih¢TƝW69heiPM3gfg&Bf6%&+ݖxU@IRrodM&} Q J8$xUU! 32e+yA mwm88Y[P.QA]*pށs~a5BZ|KA{IŐq3b!oc͖" kR0ʭfCۍa¾8ib/ZZZ B-O% Surprise_ParadoxSurprise_Paradox.Surprise_Paradoxdocument.texL:nɄ&`cl~(R>(~K5fYy [rjOaU.M]6"N+U=tsϏ'fhB HoQrƵ?$} ZކG][?qϿ{`k *V{$~:%Y_M{KR%MRs0,U?ƴp8a)B>d^րw'=%g$ mP%Mtcoscq+=dk+ˏؖN=w՚<{X/PvFo2$vW7Z-*Fr֋/;-`~]oK%`Km◀8V#>䇄??ՑP=hDT^E Dl-&> Am .p{Xk6C@$FK} |em&l[!be%Dyߠa#T]c7$7ƵruD^4A?&2JVJ0ӊL!BWTFD/wTNJHj/q<Ԫ#"V`(ڊŤf*vkrH8xyK;Q {T)j"Cil*]mK/QUkC$QsŽPp+vb[|HqQ' &Y+fۍmk5 hs@ CJ]~7?g;dc6N:o1ZLk~Ap.!3HYmj".nGJ->reC4EO2TO(Q"B@OXuHm~_C:`]pQ9KF~)Xu_cL*5Іsv8r ZaW(q'aN'&Qs`|& 6(BW9qD9 ݾvs ̮kW&m[8+α@n2@۟fR V.VTy4<UՎqVF@uI61ڝ}n -iG)sP$Vnom|"hԾ+^5F\7 A by.4B.9x!s+j_Bkd-ZLBwc&كiFYH&|V LD/d` %;&5Exr4\I u~aP'٪+5J$# s!)@y6\,)V/YkWv޶Rג(ӨQ "Hx5ń3V`:4I6*Il@>ˇ`>ߖ=X H>h^%ĕ#3N8u KOeɰY"~g#hNgq)fM)-óM:͸rƆӱWe[ƕAtg0dU:l o"`BI?ssp?M"!sWޤ 7̦;å٪\~}WB4M5hl׷Ao{ZDr7ZOE8Z`_y,'N8\4S@+Ate3[|`|2E`^د0x" ? L4|ƑK62c.NX|Hك8IEPĭh>̓`*'CMwb1-I7DXGEρ=߫eR!v$ݛkQ>?4$ ] ^b-4͇i֑Ū,x Sx<_}*yW zru *J}.fģBVuFen:8;4VGB-w9O?x9nnkw5ޤn/#ĘIW ^zPv( I[xZ\ poumb@ A0!?@[> 8/q 1"fiv1qUZu5O&?)th2" vp\9AE4L>:̞EB,+GFKr' _z8~; 6sL *NHi4tS"guR4kU+_++ԩ8s6Y(͏|G !}Hp}58_)(!H /: 4Sr_(yP?a׳XYWYkyBޮ[nO1kDM>wS] ߥ"fbOo|˄Ky#_f%W:7qTҿrȅ(>5UҲ<#&I2*'j֍XHGWR\O؎6<94MENfl>ٜ1OB*.N/P8@@Iy[cKqt:C7x]C}^B w-K1o`ߓWP+8`;Ce~puWzXY?_iwsKD`_ܝ.gjV ov0/[7ZSg2툱̈*7(ɮ\AsRZPidd=aQ H6[65:JUZisY_lpQS]mlE0W%wGu>s;5NnMŽ#H* 4!I@W+,POz]2iOvY#a˛9})'0ߊ mcW_m_zseFqAINxIϕ:_tn_RLƔ8fv3+;n~>cfӬE*K0}8ȫ<3ztm/w4Cp#MCGnx3􋤚3ǡЙ}mknj}Hlw@b᧱kiْ L"SO$7H==N 2Zڐd-^:55\ji_4WPW q\.ڳڗ 7\HLS{)!R9gQHǀ~-VMVtsǍBUs0G18$}8ˤYiZuq&sT &`w*^pz yb'ngYZ