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  ^DT, ]/ ZF-IMP:threads=2elapsed=1.172cpu=1.340gc=0.000factor=1.147zXZִF! \]ŗXf1-W^E=J8,kGBxZ~>$b>IwYZ$2_zWNVgZ7xgYZ7zXZִF! a]ŗXiɟ9)Sy6\Y.+"bSbFcF˫W$ fqSaJd"=wE?ZiQ2C#^22|L`}ܰgYZ7zXZִF! b]ŗXi%>gxf|T]]-c38eu]#e* F/~2*Qm)&*%LUU Uk4i<8kIƴ\1{o19&њpcࣥjlЋL)j~ 2@֧X5߷M ! +-th^l MX[i*˨HFH)p#2@Z{6MIN ^ cԭI__9KisX^&jegR1 R4~@MסϿ^,e]=C5n.|}X'wN!-.#F KE3}o~`6 z7c{H҂ rlӑw("K;x_tݯ4%DX{m_q1kēs_:Ur  xwW#6N*(3&m:g{٧),R=qߙ\£? ˯+>s/DlC̶F#P2f #. gYZ62fd9cddae0cab505db43dcf02b9b8bc581caf5682ea62db878002abe1f561b243b2cfa9fc698016 1e7bb8d896755bbb779450a1105f0ed37cd956d6   ZF-IMP