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 3 ,\< ] Selection_Heap_Sort:threads=2elapsed=10.556cpu=19.096gc=0.724factor=1.817zXZִF! ]ŗXf1-/6vR[]_ʥ4*M[#|@`:gC)!½k#WqFD'^_"3^6'Ṕv;TS. W&V9q+h7)E Q~c4nuit9zz r2A1z[f(٭ı^Ú {HӞF(nvYfWsfwd@rƄZxXS-m4gYZ7zXZִF! ?l]ŗXi%;уw$ƺ RLgoBRj0*K7UxN:4 "="xO]K7M| 8(M eUH) >e]%2ǔ:FE|cFuS.P!|xi_U&װeV$K>=71?' 0W  EvaG^KNt=6#B`)HSLCR$HE17~Х>gtjwjh3=?aX4پsZl\+UkzS\*%=ϥ },i* _\̑00Fwh+L}M)"ˌX2N#}gq0-I/y S .ʬ %_k۔򈱶 =~ʅY]U lC6Q/ h8W#H-}"1@BaxFVOAB%rOW9T&P:ne ?bRʚ`t:9.NyXY!^opMUѧn&Dv8Rc_*pf>'{̴"RXiU38.T㶓H #Dόg+eT.Ii_o}^{69&A0:}۪ٞp6e{옵 75~gYZ3edc6eb002b266bab0ee4718dd8cc6ac7a4af5bc79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 3 Selection_Heap_Sort