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 d  Selection_Heap_Sort:threads=2elapsed=11.065cpu=19.524gc=0.660factor=1.767zXZִF! r]ŗXf1-/6vR[]_ʥ4*M[#6t#H\az5 uX~J߯&*&1Ov@Fڋ' 9wvFݩY ;lŦ˞5EТ&]70WX$<ݷ^c#  !e5ak)5U_"?kQTiqNIL/(a) Fs_=QYDct$SmqbX:7}_Aɘ½7{{ƨdeY 2aj.n0^eă qeFn K;[Y2t~Yl_4+iAB pN5_6TK+,v<}#-u{`=[i'n9$ϒ]!Bi`s`@64!FR:7r*zÏy@XG zJ_.)1"gDCQb/Ź˰ǟ*iy3-IgYZ1676ffa397c6b01245be886a0fc3465093811eca 43df4d75898a7594d38a58028c1d34e4c8433432 7a98efdec282cba4e95e46303dea9e18de8b49b2 9b0bfdee363ab88dfb53d18309548fdde932c30a af69fe4884476a8acbc0986000bacef6fe8b57dc b7c9c849f43935a28d59bc64edc0e16b8bdfc610 bc771762a05134324001f2675ab4d55bc2efabfc e09c5735ce29a5a97d451c9f6e7f4bc820d95434554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 3 Selection_Heap_Sort