SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info EE0)L< %/ DPT-SAT-Solver:threads=2elapsed=2.924cpu=5.284gc=0.032factor=1.817zXZִF! `]ŗXf1-/6vRZͬl #,Luywn[>ς[=pȔ=U*#ӿ[[]JM:Vq4 + %"Lέ5ܩe$>MC](yzwpP :vy#@CK9xx~Z3d4ߠ RݕKի̳,|&zRiv+[0TI^2v-ctKJv=^P7U){Eo2l?ZL ) DPT-SAT-SolverRc"gL=T)֐82!$b#_qgYZ7zXZִF! HV]ŗXi%̎ڦQ|E _2Lg?AX`/߾zxwfG DoVn —I^_;͵Jy %jjO͕7O"!\2V1& `85TkF