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 d3 DT  Selection_Heap_Sort:threads=2elapsed=11.466cpu=19.784gc=0.732factor=1.737zXZִF! C]ŗXf1-/6vR[]_ʥ4*M[#r'_>Tm Y*QJ?aET֋65ɔ!)"X|whg x{ Z;H~6 ;>(Xv  Me&X5E rWKPgYZ7zXZִF! A$]ŗXi%6p2z N^(rE 6uX(l6SA=1[9׬F׏;YɭIm"&b؁%o+J>uV 9& Ct2!"J䊔ApJok47hK.%psE QVLG'yBxHm%E(nEy`v&Chw&Qw.hl)\o^/ibUp,qyTto mR~ZE$sy^M&&O'VU4ԥ9::鹣2LÖϜwPΌKIr xr\R{Z ɇ[߃oƫ`CbV{tR=ȩ2aQ(4VZ`+{!i(L&릍֭ rf*6܎+[pkP_БOb68F@bG߂f=+7"ORx4JClcَ8\< Ev׆Q ]!)+ MdYE>>,&_e<ܑvR#x 9,3**xd;x94t# czߏsPF.cؽtnI5? =GWF yY寶ꥸ ֗j/G r |mHa~с X;fY>]޵صy˧!:vK<N]%uz/XW:#ހ*ՑQģ[<l_I3V'*צއ:4iCiFd3l:q,w/5+IHF}w+miP+=Sۖ E+nDJ)yP3<J.="6Z;~6ܴcΊ'7ss8{IndZ^D?lsxj/W4V.e+x[H:?O rJMFC3u_Y?;HT]Q-FSPv\baV3(ԤgYZ1676ffa397c6b01245be886a0fc3465093811eca 43df4d75898a7594d38a58028c1d34e4c8433432 7a98efdec282cba4e95e46303dea9e18de8b49b2 9b0bfdee363ab88dfb53d18309548fdde932c30a af69fe4884476a8acbc0986000bacef6fe8b57dc b7c9c849f43935a28d59bc64edc0e16b8bdfc610 e09c5735ce29a5a97d451c9f6e7f4bc820d95434 f9aa0873d6651d96d8b47be1d2e18ef3185141c8b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 3 Selection_Heap_Sort