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 n-p$< ]% Surprise_Paradox:threads=4elapsed=3.664cpu=4.600gc=0.0007zXZִF! ]ŗXiɟH)0!h]?W _QUt'pi9N>9!0ֵb.3Yc0iIQnUժItX~} OuGhh Av %:;݄X ΒVQŽ"Yf28?Ϛ?&l&Uc쯃>d'v:dΡxL+ P8\ ugYZ7zXZִF! UG]ŗXiɟ. oۍ9W>a!^{XT},dɁ"sI~J8v %QT*cVy^}YZ7zXZִF! 3X]ŗXi%D8W;8q{~xԋE9K, lOߦǁe|g$V7nast\oWG[Ѱ鸄/w${\)ɲ_PX) H#uN%*DU=N9Z yR$vl!~jhR  w@l;eyٶDb"t겲*C\ƳJ9:)aGW!/ww؛9-7հ,ÝG#E^Ən<,P0Ϫ"Χ#Ӷ9v#=rTEiKϽm^f]ͧ+|>H5;.Y%^F!) $>  Q 0[qsM| K>duA=6脯TAh E[V@❈D,7Өs'[]lx{! YUH>7ۼC`NlkMTK]i&ysN( 54&^['G$VB 0r^10Fᷠw*lD`y gkq -I@VT%cD|w4 yhZj`;Hr8m%SɩZh! YwJfϯF^ \~VQEggYZ1e52237c02b1815541b39e5a3ed06f682638f149c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171 156eaf0f371d036bfcb5dcc3405c674277526626 6c51d8b58fdca58190ad9a306f134ec816ffa5bf - 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