SQLite format 3@ .0:  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 ? Lt< ]/ PropResPI:threads=4elapsed=14.773cpu=30.360gc=0.992factor=2.067zXZִF! +]ŗXf[&Yux6n8Zvk{CW\ ^Z̡$"Wi x+MgYZ7zXZִF! lu]ŗXi%GЛv0~π֊~wD8.Z=ft%Nb ܓ(RƸjCciGU]JN"*u]& 6$k_5j Ke4RF-S[e3J?NI.|{]1׫}sl53D|smaupblZ||NuxU:̲j9 oӡĮus]%X(M!\)#2\6XaQ_ z|WK4uYssԟ#E#돶uu=HhAcNu[=9sY_ Mu5t[%jv㯣o\{9NCI J2`4MFüMb؃TNOLÃG@6O燪Jgr%siƱg;z, M'*`rw-& _*VVH2?SpVC'A zVoaw+7NûQ 5c$*Oޗ4I/^f_'זP3*>8[pW%?)\P~o;cyPP?-?AEƌdeA^Qc/(h5[.F('hc%i%YzotOh}a ,siw?c܈׭kr#Hn^⟶3ZMElU^4(ԟB=ʈ;"\GcVrR[@v@inx0_'1vH]q}QVKܼz+679P~A ۥY$B> >,oG剼aHV<.6lsf}VվE6=::p4\y!+TՇ ZTh8W(\)lWm?͋ϑS5޹euF$3H%+q5u?$\+paZFG+(a''tNaK#F,[V(v!$ 5%} H”R˞&]Ud4aT܆ KUgYZdf1534b3baf1d9e8bcaf45cae9195ec751585999a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3   PropResPI