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 n3 T ] Selection_Heap_Sort:threads=2elapsed=10.702cpu=19.028gc=0.824factor=1.787zXZִF! ]ŗXf1-/6vR[]_ʥ4*M[#Q#4 ÑnS4ۺd!PQµ'yd2?{TmH2sFgYZ7zXZִF! ?e]ŗXi%ή++@stĥra|7F:? @8,vbr2|\N, ޚUʃx=xD@L$mw;WQþMsabmh˨w]jfXf"#ؒtƒfu7~C}8&̍)[5Mbf"5OGa~Їv0Tꥯ[f?l7R~hGh[[ʖS=\vy0Fc2R\2Qtf([TEd5bFؤ ꅧ8F b_{1'2 gCY11W(+'wjn c ы"?b(i8hJYj(U~8:"R4M 2yꡑdr\I + p+֪l:~w˔dY9,ۋVhTq*#+QH3Z \(Po?{MCP:BLȦxgYͷK |;9=J ahw:}W!?"F.0%щ.HdoO_i5Pt2]|1g g%^Z3 :v؊'nu<^3ṘѪ[iw=Pb$_hs ztuHm!&6H}="?WN,{=.F L(JL(e׸ $Kn3R{xdO _2xG99PtN'xo( @sb$WniSA7?w`,~!8f6_<=Ou͢[Wc la#@[Q3)-L,d b*ˮGa]ʩ|Nz*/rH{[tcay#JdX0^W76KRПP?=u=dB&(lP*sRépC)C;~Y=^gYZ7cd5b4db030f8dd4d5fd3f25ac4e6c588af6fb6900b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 3 Selection_Heap_Sort