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 T3 d  Selection_Heap_Sort:threads=2elapsed=11.078cpu=19.172gc=0.684factor=1.737zXZִF! ]ŗXf1-/6vR[]_ʥ4*M[#2uYɝE,qa XAxr j &ޣU .f#GڕlT DfsPufC֕qX{fU#*\^! n՟fYOs8P^ylK%ғ/ey|d6|Q& ] Jn?;cTE_ FgYZ7zXZִF! ?U*]ŗXi%6T6U Ur@Di?;A Ps¾BP)ܝ.>AԱ6! pFFJfu2TJ0$C{.㊏bTXȃub{F:Y>Ą~xMEx:yp*K͎! =^74y#XҞtӊ5{H6{gWTiNM#֞VN4Rjf/=K' U[$!pPs6>R 0+Z>T+8M2>z~LC\cxīgƄ]~3iK&H 5yPwD#گoU9Z~P`p zǦB:Lf6&DĒN?bF|w7њk/= ?q*NBGt}t%?^ɬ]XwMʇr0Vus? "\t17dl`(_xanoWxI]6Vbl%|ܺW%kO"tɮ[ 36jo 6ʢ7zjiFǑJ{Y¦'P<-JJ(Feɭsx;U|n#a1uTh&C~u[;JVIDs.DU$=@07}dYuPP͠$dJz[̇>hHtwޱoxھ{9X@M &1+|߸z'&r1%m;.֏TbZ bd"̷P#h5A89I0K܋](7Pfe=#A5O[WQ+T*5rɬ\)Y%uY}v!,`W]Ťio$uysޫ](ByX'A]C7ɀڬ/0".ߐI^II d3`M7h״;Wjl #R)fŘIێB+ef3 :,g~igYZ1676ffa397c6b01245be886a0fc3465093811eca 1c27060115e9648bf816700b69770a3801ddc4b1 43df4d75898a7594d38a58028c1d34e4c8433432 7a98efdec282cba4e95e46303dea9e18de8b49b2 9b0bfdee363ab88dfb53d18309548fdde932c30a b7c9c849f43935a28d59bc64edc0e16b8bdfc610 e09c5735ce29a5a97d451c9f6e7f4bc820d95434 f9aa0873d6651d96d8b47be1d2e18ef3185141c8f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 3 Selection_Heap_Sort