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  C- d ]% Surprise_Paradox:threads=2elapsed=2.389cpu=2.952gc=0.000factor=1.247zXZִF! w]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B `N\ B76nx^Pt곜资dݪ*jOOw+[EAtyV <ޜr-R0kn)abE.!0yUj/ q"b zņgYZ7zXZִF! UH]ŗXiɟ. oۍ9W>a!^{X {QkzG}}.[\јnӊBs:dVI}YZ7zXZִF! +]ŗXi%; #s:y"\ÈލSm!ȥR ,k&{rJsG'x}~ 9l5*3ۏ 7;Vfs5E-d$#,Ð,?P;єUTS%D+vS,S6<Y_<&eS/黗zIE9СIZ|ٿf:bnK~h6ǽh*_t*>hxzW<3tERE8zȪjņW  jc;TGU*%\PP:9OWĘ&06 Ζsjߔ"hQ [6dΆVF ?"~^t\:pKJWGw42(}e0/])l"y~ߔܦye0m-Yne n$$$=A2<\q>: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