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  LTL ] Eisbach:threads=2elapsed=1.347cpu=1.804gc=0.000factor=1.347zXZִF! ]ŗXf1-q4(~$Q?bִp;w~ ѾA`Fc'LdҶ5k򡨿4UYgO*y^3dd]tw r1?6nl^ȏ!xdb2DZgYZ7zXZִF! c]ŗXiɟsмHI:j|W?iUF|1_L:v of&#[%iq͘oYe P&Jk-2 XgYZ7zXZִF! ^]ŗXi%;ŰA1ղA_"u.Jt"uyZyk3Gc[\3n #:!AiGrDZp<݃]߶(jVIz,Z9+FEu=M)=U&S=y+z1ō0Ms"7[ˠ'yaK%o>]Ns&`[`8Ybr־ Yiy&5 Ek6!xK$K Uq^7r.՜&,EC_.*En~;1ृC'yfb,T&<.tc9ӜbE )Tsr; lwLgYZa387e735a8b80b3ea343e7ab4c871733a68a4215daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 ddac64f0920a2910aa66e0774aa7b88d0cbdb787   Eisbach