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 ee3 t  Selection_Heap_Sort:threads=2elapsed=10.501cpu=20.048gc=0.884factor=1.917zXZִF! ?]ŗXf1-/6vR[]_ʥ4*M[# N҉{TBޕ)Z?4Wf~zyZPք6:We*44\^sK0+dҧm2K)OtkJ'OnO?ճXؗU )488 Hl2ŽU%01vؘ1o^wSb;Fgw#~۟^z-rxbnD^GrG7`A-AMzD`27E?*i-wAdzv̙SBSPNBrUoQë Rts]]'ܔa9c V9=&~=U яL6S:ٍo2iQjKT.K-46ϝɤ#6ѵ\0`LfI"t,>HWM SOҘ!,G@z*7|9fZ3 5!y\'PsbH= {Z)VxI7̂ʳmJfwNV/:oMAȍեG9\tǃ )#hgYZ7zXZִF! :]ŗXi% Lj @$W)NJ\) QJ;r\։EznpD4-yiw6-oBr7 Ǝ9nJVnS3ԠI3,K g&ﺌUBKDĘ譂+آlcKYUFTCdW{e*4 ^yc_F_-l Eom+DaՖÞRAm>C1dKgJG2y5)!BSGS=B[D8%zv Q>qP ' %0_*h7)q5Fuce+劝̥9Ng=e XQF=1.7=u45T]e?V.p^˒cOŖZbq$!`NFT6╥Qs݅v>y{_x|+[gµ:QnItb#Rh=э7dpN*$8rn#/xK=LQgCUnZNQ@#X\r#͢zzW~h6燦Y-j {R2JE_y|I,E? (tSKajyRm!+pF#B?^PH'-0nKk3eW )(v;'c)AFN|0.NbaúoSɛnlc[D!wLB"@׼lcޘp(#Olt(AupsgYZ1676ffa397c6b01245be886a0fc3465093811eca 43df4d75898a7594d38a58028c1d34e4c8433432 7a98efdec282cba4e95e46303dea9e18de8b49b2 9b0bfdee363ab88dfb53d18309548fdde932c30a af69fe4884476a8acbc0986000bacef6fe8b57dc b7c9c849f43935a28d59bc64edc0e16b8bdfc610 bc771762a05134324001f2675ab4d55bc2efabfc e09c5735ce29a5a97d451c9f6e7f4bc820d95434728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 3 Selection_Heap_Sort