SQLite format 3@ . BBh77otableisabelle_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  [l< ]/ FOLP-ex:threads=2elapsed=3.534cpu=6.128gc=0.108factor=1.737zXZִF! T]ŗXf1-)(7D.qk,nC qS#ի*4-bu^ I8$gySz[8FA.`%Ӭa|((!OȦTƎ liy[Ӿ4JDQK)@m򙓱gYZ7zXZִF! ]ŗXiɟHR,~OG_l%/bO?:ٱR.2T̾ ]Ķaw9+Ly #؛|Sw>&0$pC3K]HkS"g9,cQXR[tBl-F ]w7#NVje3zlZˠu tq ?\ov3NbgYZ7zXZִF! A]ŗXi%;Pa+)PL ɀEMMV]z^g4Y!T\P<ڌlZ?^\Ra7 kPswmo\X>B]#@S~mfL8R˽gH l9'P~ hEG҂M_bz>y^2{N(߂3Y,J }q«ˌ0k2l“ZYCz>KuF Okb 'cPTA=j;SVBMXy|h*!x&ے_\cd$CL&ts@.땟驏sMgNfhEqІ{}"{aCX=]}&Դ9j(& 1kWC"K7 M` 1?EpEV+;iޔ+k}ڿ{4n)o E-+p#D6F nOBΡF0 ? u>Fb~u<oyK͙sk$oݢ{ل!== C Xw3$f,5s)6IgYZfc2fdfd06d09403c7268229706259d9bbf6c8a0b4b2e4ef84f2f7c72f1d619e9e1af08455389b338 e7ff68ba2b8142af9e6cad1429db713edaab794d   FOLP-ex