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<4 ]/ FOLP-ex:threads=2elapsed=3.690cpu=6.344gc=0.088factor=1.727zXZִF! T]ŗXf1-)(7D.qk,nC qS#ի*4-bu^ F8o"7aJM Y4?dV:Z2#DGhT5W,?G ƈ(DR:ok.J q:Xs1R.5m򙓱gYZ7zXZִF! ]ŗXiɟHR,~OG_lֺ89Dnr7xgL@syCP(h2 Oϼ{ Oq[#Hަc{D0vDDBMK`T;fZf7gm,Q#2ߍU> "mB5%F;*lnkA3:L5 MM Uz@^Bf"">N Aρ<xo-Q-ghJBio-|}]1BN]n4 IldKH!>])K}"˚-HD ū5뗖㔝rj# Iܦw :ۻF=pDJy~㡙Z&Ez~{QT:D d$=e4vͽ,ZЙua:;)w0کnmRн)6`)7ʷUwMP,Qvg0$ * ]_`H6㎓}rF:.7ܦQ!G%g4FHkxYclj  ۭ6[|O3fmxوoPd֭ݰ \~%D;Vlj+`@+|D?<%1kбgYZfc2fdfd06d09403c7268229706259d9bbf6c8a0b62b89b746f265b39aa07d30f95ec0c87cdd2cef6 6060570b05d2a9ca109e71480983f54a5866b608   FOLP-ex