SQLite format 3@ . YYQ77Atableisabelle_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, "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 t ] Selection_Heap_Sort:threads=2elapsed=10.827cpu=18.792gc=0.656factor=1.747zXZִF! ]ŗXf1-/6vR[]_ʥ4*M[#,_n/f3v BN>Fh᱘K ;U->mi[4eeb="4|te ~^@E؉Er3PK'2%[bP18,(*v#RCPgYZ7zXZִF! <]ŗXi%6qِ~e'^NmfG즌NȼX)ٙQaY:K|z hVy ]@ L?¿YRI1Ipi֘MpӅ"*4w x CI؁L@k+1P_.zjUZD%OjWڹhٔnE,ǒ"|Mј=6J$ CoĤb.%ǖ^'M.xxÆfހ8%fMЮKwoRVN>b8qVaMjg:?ȿXbyIIpDr%Grm}),)t#JQ%iF 2PcU x=ztkז?vJ ;S2~cv:c4Sړ~{ѬJk$Qj0>&F*gGfv&G$ՄU $ih8{XWƎ(58'B=b]~`'DqOs~#ǧ7DiI\MK2 wx^NI–^>A_K#e52%dN{#\iFo~]'_4ntsxG(h%..( hx$۹xt6 )m("q1/nLl@TMsg .Sϖހ "F;g[M:`L$G~j~iQYuk+Ӭੜ'1vt[%C< +č5{EwnԕbЧ )q5v,($<["I_~,n ߘ[@ܢ &^x1Fc5}iٷ1@H+_XųZHH ;haM sSHCg0|YʵŴT@PWw#و%ͬdkp+L$,_##y6&= yBgYZ1d50380a87d952462fd7a6cec79aa80b423803ba1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 3 Selection_Heap_Sort