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  f f-l, ]% Surprise_Paradox:threads=4elapsed=1.995cpu=3.176gc=0.000factor=1.597zXZִF! ]ŗXf[&S Lr+ORAOSKTµK;^4+Z[bzR6X`4Q^76 /1[Ѱ՗dv_ Fr@槟8&Hzpך 5Mx2}EܠO0=M9˃@ '=EgYZ7zXZִF! UG]ŗXiɟ. oۍ9W>a!^{X {]#t&x>q$3x ƊDcVy^}YZ7zXZִF! ]ŗXi%L Slj%%v3r|IRɩz0ӿs } H.ALjI;FnWoIg -ì;&*K&C^)PTIډMPZk?o&HVRo2f^IPnCna/"1C^+S*LyT_@`?cM6`XF|n!֊ 5u.L-Pf/m\2:=9ˋ/=s%E7"{ %|p&D9b/ KF zvLsv16EQ*KMwoІq5 ~Υ]Fh2ǟGIQy2X>+T 8 NtوN'Xm1w.uQX NL"P0_V@:qtFp-bs\qH&S>"$]QhtXV'5ST*-#*pIV׈JjȆ=$pgg,wAP3Aڟ0\ BX"bw_I':o_ uOk 7I_)+ `5KsgYZ598c35c63f0ab5a96676d687d1ce6ce63aebbbbad3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c cc9e08af2d20a2f4e720b08ae6f64efbe6842f87 ed5b348af3bc705edcab7eaf7c77d27ee7a9f967 - Surprise_Paradox