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 -d$ ]% Surprise_Paradox:threads=4elapsed=2.355cpu=3.880gc=0.000factor=1.657zXZִF! &]ŗXiɟH)0%o*IpEUא2.%@IM%+3^V`Ͱ !#IGhs)CKRF 1q] I%^/Hs%tlE#AF;)PCo'~q"4(Z,SQW˖၅n(XZc7#iEj΀nWB )ʭ~. \{i Q<"*X!k쬖,*[1Lk}.:2#_/rƼ1(9 B"pcƏࣖVk; T˟WbG!SˀVLyxɪ{[hϵMWBrMf@AI%=4i"i1kP",( tDհ䪡] gp4VӮCm9Ls?qFl=N&oT,>ٟ`\l2h*8V\dXԍM۵,6y۲@& 4pym2( ӛY]kR"\SɕeVy]Lè*?"P [ۺp]GrVL/lϷ PJ)zAjz*;|JL] xS 10cXA<^܆2X2xg $\"ThqE2Ȫƫ"bCUp;֦4@P >ulRP=1p[R03$B* DW3R%%b*Q07AN`}D'kҲEo|gixN0|2 PgXJI_3z1a[I{'n7):@Mn|1M'YgYZ7zXZִF! UG]ŗXiɟ. oۍ9W>a!^{X {#5YLK[fcJGm'F cVy^}YZ7zXZִF! _]ŗXi%L!l/ +(l󬭞XѶ,xAGŹk5w 6Hb zJ;+!(r%xs )ľM1>[</fJ䁚XI=&%qHNXսG/A^fxsWh=|& /5ZV֟gŪ;V 04I|a5nas^Y]}=gj{fl#֑9UQyρ<lAN\)`8z cR!zZ,؅U?\hKs&ScW?xm?XoMkFITêrȔjrg 0ֽP]߭ 7kbtѶ^gN xć/kVC*K3P{i!y_v*P0Ɠec=D6*:e=vmJ'P}׻ǡ}X!J+~8 Ѳ-1(1%_#sQ5Bo@GWgYZ25a5fa35957df30060ba3a9312bb2d042f1b10868215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 488fd6fd635aa16aac62330062d576572db1bd8b b5ee07ceb9805ea5125ff8efbc60a646c12b7279 - Surprise_Paradox