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   lt4 ]/ PropResPI:threads=2elapsed=16.555cpu=26.276gc=0.892factor=1.597zXZִF! n]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^OY!k~ N}}$\gh\,B VT\' qM>qLaTڌO" eZҿIJ 88G]*lUݙPW2u5KhEc&?I! O4==zL[C8"\$0D׽Wib_ p"߹cFje6}$EW1mR:A2xz''+<};L#,;g Ā,+8qnoI~'|<>ZҶBHn~=0re qŽyEPn5C\\Y*)] PxK[c= HOS&r땃Ym!q=辗3 XZy ԙw("ֺ`q1Q}gՈ k8cD؃t=²wLYN۳I =lԮb[YS*~YkePҽE7~zے#$R*?L 9O-_vM[D1!sC3I;@vT1GKETSc`3Fήi?|]696&]kg]tȤNŅFLyd Q &>(DD;zFjš(Z%_WfH<,-=G(xC0qm%xG];;~g^m>ŋׄ$m' tQ->܎yv tb\LPAiU2 \3E]]P񘂨c@ڢyA_8_Q|k1rI ;))Ú2u)KH\g(MVf52JVz0M싏H=B7iѝ#Bv ]!0͡m{?J.d*& `dk 聍EJ:%uO0!=#M]5E2ژB1|X7,)xИg#L[*%7QbhH&lm;QnW(FX޻q|3Kyy*~iAl"Ot/~Mj$+RNhG9F]TwR7/0r`;׶p*-B8sPP3YW&qQ]vK\\Q:/XM> qt!{EC[GRAל4O_T: GXYz$ D!F"=觏N ]r3'0[24i"&BA9څ]l4ܠfqqWI egYZ25a83a3799aafdedef5cccd7ff21b7f7e355246897833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3   PropResPI