SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ( ( U3 \$D ] Efficient-Mergesort:threads=2elapsed=9.958cpu=13.852gc=0.696factor=1.397zXZ ִF ! ' ] ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e"g{Lz'y|_?C̞=wn &P#ʬNc-<+yQvecIӛW?:k]ɜ?(5>_}Hme+2jU,OOTp~6ʥ$цL9% Ng YZ7zXZ ִF ! V N] ŗXiɟn+c͔(c^=N-MgƅNs&t$L^YdN L? jWQJ} YZ7zXZ ִF ! ?9] ŗXi%W~>3lFJ6N(9<|:{Aث[guFV"F9T(gݍiЕސI2_Zk/.n_ȇ؞cDΟ# ȃE # Zj{SlJ^zoUުtWe9Ń}1'ic.@Jc2gF1Xb3VuKq9lWp{GPZ]sV^!cPAsLHQ17$\*'sd!CPlzQ+Ed,mv [yԤwP/4Gp`Y37Æ`\a6Տ ,'neRdX٩Kӭ feq :Nd$bvPOٜ& 3}ԄIн1 ć'MʧX8{=| [>-Ե`8+pAUװ`qCAKYͶnJ-Sh2@^ko[5K