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  -p|D ]% Surprise_Paradox:threads=4elapsed=2.114cpu=3.372gc=0.0007zXZִF! *]ŗXiɟH)0!h]?W _QUt'pi9N>9!0ֵb.3Y^;1{_i$ e_ sWϫL87J0jf$VKXuh4gܦV)A<钐ųX1t'Ai5z]RsJ733CƉ_~P\gYZ7zXZִF! UG]ŗXiɟ. oۍ9W>a!^{X { cTZXy1?@&"bcVy^}YZ7zXZִF! ]ŗXi%D4ym+t٨(m jMH))qص㉊o.J@iD]5a Rz$j$ Mx򫼧++ER(Wu߱jB{R5+]ܬ &iԐ=mtQUw-+5:~qߙs*'0sY/pg{ un4WL4(vm W$oeгP%H&ˆM #\˝R[9glR?ײE‘ח 4JtE8JP=+!Pl02 U&h@Q! 6gApjE5,Ԫ];i<2eРXֹR)EdU'ȼA!}${=9)@&쀃yU]{4%a'?9*I LjY`==oSvUQ?HU&2RԒ¬h}I,@Gz{jyT}9;͂a*jv>}Ezqlx`[ڣWqz Bو_UUEu Tv(`=4Eih1C'tn/!šrZqI2i8TuM_@JlKv]Jxq\/+@x,m;)gYZcc707149dc8422aed9fae47d1814ce53388214b6c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 5d15ec78aa615f57e776f9c7eb7a45c82ea52454 337d3a22765435907e30bebb98f30c48ca58519a - Surprise_Paradox   q-O% dSurprise_ParadoxSurprise_Paradox.Surprise_Paradoxdocument.tex7zXZִF! 7l]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/Z B-O% Surprise_ParadoxSurprise_Paradox.Surprise_Paradoxdocument.texZZL: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#6–jW%wwOٻձNv&ckxv__mbF#}uU7jESo98=<9d ##Ӱ&;9RCJŶS裐g64ݵNl~Hzc 'kV$"tY /0xK9ډ_~ g9[TZ8yqd'bmר19M &EdDF Ό7i䈉j)J>"ٗfi=7{onEZ{b'W_E %nu)rR}(/3S6[ފH߸墅́TmugK?>i#^,~Wq {z _-5}yWgv+ߥ1|C$9,u1@` aM)/1{ON>Q8;ԡ݋Rk+D_3>tu4e5펜m;'G@2TZnu՞ Em$-YaK3p\vN|B2=v$ 0M]aB$8O󜔃v ocrW vigP˚kx۳guCM۲畾4zuՌ-K Hľ;yjoW[Os:G G w/ veX/'Bc|6cD=[8 bwMZJxx؇/⊒QKV vQx)8^7b$̈́$XVm4?!]g}**06νXL؍D\TP }D)`MvCQ q͟ FtsmF?^HY1$zֵ縻ɒg7[A^@*NɩM'ۮIk duq1qxgg cm"5U"Si7bH)cl3wW(_@ c둍Yw=-6@7^:tE_jy..8{9֎C7e;ړϧgf)n[۪7F=$d@9c(ɺ֭4Y;o$ulF%toqRX S;.xWH3\%ЉjQg//r[?R/{̮״MzO;>K&A(Tᗫ]9BCm7jȓTOh9(Sy$؛ƗR>i^tQGbY}񭚴j@i.n]KO!~A2uvr4sl2pn soRyP#0> cJS4JB-% |Y-yx c̿OĹ+{ Yg0ntĶdidomy;lha>^tO|r ZHR:xfar{ OL-vE0f H!!5W&04'ngqvn3vA#OuvcODXdW{$_LICF?+*fYlk D bYQ[?b >VGG3W>iV{MB~3(Uy^`F4߯7"?) R Q&HxUmc={>15E״eNk;I;I颈zL'xgYZ