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 h3 \D  Selection_Heap_Sort:threads=2elapsed=11.239cpu=19.840gc=0.656factor=1.777zXZִF! ]ŗXf1-/6vR[]_ʥ4*M[# K)7CyOaVeOxLД44n7$}-[-p(Q!, ):kѼ hA8yz%wCuJO $@[H ݢ>ȯٔI?s+lIZx"O&ϣagBԺLOYFgc+)4.꿊Yz5]Y!1\#D-Phwuy O=wس8Y+hXp*͖{~_t{} ൩[T,M@! iU̳)V>0-{ѩCfנ}\-g7INؗ 'dJS@{*U[Q A96/4@/Eқ6͉@/#Pxxcf3Tl||l`y4G?eq*Vx](+J];QIʐ,,' ͵3'Yfn9\Q$?H] ^I i:@*b-ba@ .3ζLD>4%=xD>;χ%'tkL8 6Μg+r->XP@wo2鹅tG3*1~oAɾ}*/vUx,1^}H;S2 ;]5MbJ*l_F;mW!ʆUZ<#%uhִx_0kHxqGedɞ]`+䶉m]Cܣ&UL> Jł3F"t 1eIR ,~J.#Q$W~ ~ ;gYZ1676ffa397c6b01245be886a0fc3465093811eca 43df4d75898a7594d38a58028c1d34e4c8433432 7a98efdec282cba4e95e46303dea9e18de8b49b2 9b0bfdee363ab88dfb53d18309548fdde932c30a af69fe4884476a8acbc0986000bacef6fe8b57dc b7c9c849f43935a28d59bc64edc0e16b8bdfc610 bc771762a05134324001f2675ab4d55bc2efabfc e09c5735ce29a5a97d451c9f6e7f4bc820d95434735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 3 Selection_Heap_Sort