SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ii? 4l S Imperative_Insertion_Sort:threads=2elapsed=8.183cpu=12.928gc=0.144factor=1.587zXZִF! 0S]ŗXf ? Imperative_Insertion_Sort1-/6vRZ4%LB.$8qĀm3d6'RAQ/PwaкƾmُMѩ$0|-0z"EPrsQ|G XSU)%fu l)#vq1rmv&^gYx{PYblڸD>fh";OdВfFTP2"NIz3[>z^ӡ/r?^rpoP*uZbm f|\8\O–1M :<ĚX:heZJפO\M$H>Fc7ZpأiNKlr< CA /7U(eY|asG }U;]5By ǙrTSs h(xDг ;F+ V1)VL(>etXC: q = No[&y'h;!Elp-(O}<5E}Vr\>J{X9bGGK]ȋ+>0.\+~PSeZ:VDD:v|Ƌ2uѲa6a1-D~>sUCSv2SaisDTT9yH:Z:;͘L"nW粍`e*T-3F&NX,tdAA̘%vuQNl d_r&ڕt1%0)R/oͨAB}PΜ;ڮ_iᐶ G(U4qs /aa(gYZ7zXZִF! ..]ŗXi%HUVW$x3 !_& Bn;ypiza!e P,WI7] !1:$/䕽mX6zra;9Hs]|#Ezp? l%:n\=}ku:4Lx0R<8*#v6nC5In;V 9޼2BaRyҊ$̇AӪ!R>06#2唹TJ<:1h~?ؿ]z5f0S +\U:)d2p 06Y]=o-8UjLA?vVl&9Ih%.mθJ+yG)]6^V u8t"%%k`wD?#-˅]5JiKĻ?w *6۸4KΗPm}yU8x9WdL :af 2/]dazÉ(p]seK73ƭ+kLe%R梤sDJA}WBwQrAE JI