SQLite format 3 @ . Y Y Q77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info E44 s/ DiskPaxos:threads=2elapsed=40.863cpu=80.080gc=1.000factor=1.967zXZ ִF ! +] ŗXf1-/6vRZ3`ivF>qee#Cn./Gfɥ%jȻT~Ls"(~dF}TA0kp"CerPoDZ0 I`?Hk!۬ej.VD @/SlxR)P@͒ì}0?ssz$" x$ q4.,r_&EPe"q\&avUe%Wz3If5W2C}ehƞ#%%C+@d*8y~v!ֈ[XңZ;CyB%, 5@(*1Vϸ|[%As, ~(9SHRRzBLq3 HxY%&fvESsFC2W͗B