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 d% 4< %/ FOL_Harrison:threads=2elapsed=11.264cpu=18.676gc=0.616factor=1.667zXZִF! $R]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=b&ĝ^n&9mg-. up*t1 aB&1b*l~qBH<2_Ԁ] (kh`Y&ǿ46&p&%[Lj+lqxWTdft % FOL_Harrisonޫld]Ax_ ^Pм-M3 "C˂`M^?zuKV]]1B鼇oBz #vOF'Yk͢e *g]DBr~]%̨*7"סFtp̅ʿ'] Ò6Pd+\C,wf?ËRѯ ύTXb^͂*jނdM+Yp',l"wlMHqmЌGTrPSM,jB%N(l-Jt@,t">Z_Zˏ \)/xg.OtqgT l'ψmd+؃P- uMgQ;>2rx7LGwbp[pV~^fQdk;5n#z{H`$<(23x81ArZTI(*orͭrQSfώ#a9^9Ij#ٱgYZ7zXZִF! ?@]ŗXi% -ڕ=+gO8*N˹ }=r97HOqy!yA^|sO&LIн\bB̮q_$d'q2_< sLt}γcl' fу'<4mJRz)Fmbs [| Ag5I^mщ"ngP]s[{T@)dk+n#Lp~36c ;:XY*ihڅ\mK7 eÚ~6q >ev^1E6i?^1._G~pskab X,Ud͛H`̧o+=