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  R4\l ]] Sequents:threads=4elapsed=1.953cpu=6.584gc=0.140factor=3.377zXZִF! ]ŗXf1-y$DIX` c?Go](tE{Dz?\[|q嗨˴ɰalr&0dWI5WDSOoOfNAq㯑(8kq*/U6a/5/3pȒ#-K.)_Ll ێU nMΒgYZ7zXZִF! ]ŗXiɟBv l82Xuk6Cbxoe%?X44؆O8k9ݳ*hڹh XnmaЃ\N_ѠAVzQ{Kpc"$)!rJmEY%+!c' `Lvێk$֞Ya*TC2n.`9 QֱgYZ7zXZִF! -]ŗXi%EbbR{ll8/ ù#Vb-myd}3 i(2:Ҹ9MX=bϛZkix\&m)dZ|JMרjbub޾3I]d/JjxM;LꗉC:?;IB7^-{(iG>+ȅ#*/tfS,V F@eF9$k9]->ƒYBlpL.<ˆ,KA &9qoR',S径̯eX1qCZ[ylbзzQRߏg鹅Vq\gQz+\n;⃬ /DP@P]w/YNýƃ OсK~J͜)DsV&xM:"m'^asjO_"n>wmFo4߼D9XxQdu/"ugYZ157e2c2e937c8aed95098f1317e8225d5f74bc7687d722a51b70602a06e4a7b7d793ad6a8bd08e87   Sequents