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  K-| ]% Surprise_Paradox:threads=2elapsed=2.444cpu=3.072gc=0.000factor=1.267zXZִF! ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B `N\ B76nx^OvW .%7Pf/70 .m$̢֩&5ίk9?/Q 'Y w<=!Vq^)gYZ7zXZִF! UG]ŗXiɟ. oۍ9W>a!^{X {uvlȷh{Z=CHmcVy^}YZ7zXZִF! 8]ŗXi%;C;b)͓MY?D weD7inL%eV=[H,Uh7o\cd+_>y2p;GB5?p;(oyD9rru]0/2N"I59dJU 4)Ui9b[ꏰ H~έŽ -ǬVW35xF8ppk95ع%#udid^!_oDD3:|1 (_dMg+1ye¬,ˍG&I,yqrWPXC[DwiWwm̕జ)ɨJ'K KKcqC^]^tPr ߈VP 5~)Pڼ&ٴC;n1FeϙbDB CqQvWK_Q,X߼HBQI}bGx#Ȟc#y8A&do*a)b8E)xcFi~p ک29\/)9S<ӞJɝhdf 2"^w j-<3ygYZ2dec57b9244327f2ff83d52b1b3e913959d0b25ca70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c ed16e455e1ab22ef4025d56b1115b0b9bb7afd73 88691489d8b8dcbc742b84fd309beec70814874b - Surprise_Paradox