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 QQ,3 \L  Selection_Heap_Sort:threads=2elapsed=10.457cpu=19.844gc=0.872factor=1.907zXZִF! ?]ŗXf1-/6vR[]_ʥ4*M[#VvXAfgՋ&>"w(;3lK`S2+ U/[A$(<Gp:;/S*ɩ=[&^Dٽgg|9vX䚧e>g ,xMl(1P:] )ؚk)KFvIBprKjtƼx,qqNU%&⛍Kw>M,W4}fԻI IrtR%\އp3'Dū: ygw: p׫̋J& µ=p$R9d׬/I dy AgYZ7zXZִF! :]ŗXi% L_;%P@xBȕ:|3d̙AOmlO⁑W0m+[S;9K0E@z'εw{buj1i}[8c4Lo&*amk-K!U<$gMX? G@0[nE-9~_=Cif)X#~#67SO5ζ/o]1~jv]ٟpGc1ha;s J6<&>:Fp;=?ҍ͌i\$0tIs(~2:sXxgr e8J)|ě3O Γ!.TxkZ%O)I_r*ްD 7h4?Bt]ԸnæX3ݼDxI2 9׍+4Vg9.tpY@)Lv왘ǖ@+E/^@k swux$^o]/8 jkX<< u9twt:%>Eo%U3}:㛇@&6. BXq<)^(mFH=Ч&XH-)ϩRv2A>3ͅriŴΤHu,M՞?_Wx1ۛ0{D9Qu[3eֵfqabD'_(:S>tPa&M)"4'6K_yJ ;&`C qgH5׋AڃnCQnwYx_-HGms+5kހ,BvW; $C_n8s"p;Ky̏jछ?iIl[yL.3hc.ݠWdXQu^4gYZ1676ffa397c6b01245be886a0fc3465093811eca 43df4d75898a7594d38a58028c1d34e4c8433432 7a98efdec282cba4e95e46303dea9e18de8b49b2 9b0bfdee363ab88dfb53d18309548fdde932c30a af69fe4884476a8acbc0986000bacef6fe8b57dc b7c9c849f43935a28d59bc64edc0e16b8bdfc610 bc771762a05134324001f2675ab4d55bc2efabfc e09c5735ce29a5a97d451c9f6e7f4bc820d954349711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 3 Selection_Heap_Sort