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 QQ + , I/ Binomial-Queues:threads=2elapsed=6.440cpu=11.596gc=0.532factor=1.807zXZִF! G]ŗXf1-/6vRZkc- R0vPP OA50is|ba RQ; Q.'dթNeX]±D5I۫+,$D-ѬT%H"pޙezi ̌۲Vs`(C]p^[s .䟖Cs^ lQBѡgzAaNs0ZfvVZreU$Ћ4X<҇hQ"|C pc'O H\+sY4s0ˢxK]C䅿7^{o~BNH,&o#߽Ȧ0OhåTih;ZC;W~{6e`\!DN716x7(t|Y S?~.ӂh\xp([ud Eh[ ꤪdq\ 4)Pω4CeŜa)i8܊wT9da7e*>?җ^l]O0?:kbB>ŘOh4w0gU@*޼ I + Binomial-Queueskn^~7=%յEbk}x _hUN+.yi~~RD+Ki ڧ΅~X#lbj“>Vu9)8􆅘J?MrOIQa5΁Ii= 7k||W,f"4ʌ+b# @׫>SCSRKH,*wj:q_N 4Bh`62~Ë]@b1͇v֜6+kaѣQΜ^*H"}^< D^f-."?x X3'/̄茶ڡwɆ#-DB$]Y1= ,7gYZ7zXZִF! 'A]ŗXi%DQrFˮh"Jq(Ӟ7߬cձ3CS!_U+82if4;f۱@.\9Tec;F%!X2;e12]4Y QiByĭf5`^@ݎMCYF֩8:-ӽz/u;]&΄tm_|eEJ)m !v0ӏ+.3Zc˚j,(TӀcJEXٺ'TM&cv߽F[$%N|7G7*[ދYi]VI;%8ʧ!u["# J: [g3Heu 0}&E ȊAHh;HYN0(wfд!}[o}kIUBTȭs;Qg~AGN]B}t]? }G)T.q7m]=Q[gC`2 [_&5 J;@٪N4Z7`[c6뙋-pyu2T"/N+j$ dF@7o`͍֢Mә##IK͋='#f;id;_ܕ ĀA]*M[ $b!l(Qfh˫ -U[UW"F4S_hv[]Cc4n(3o; >hP:Y 2䫜zQ1Z_NnH\n~d仱NOgYZ0ea5a344ff64d3f11a7bde39609f6be0f403880e 65c0f80769c300cd1a3da1c8badc964be8cc0ab9 7365a6d0da22d1676ac894f539799f1610b88c18 7bdabb0865258300c0a6596504bba56c7c7edc1d a97085f18e83107db9e38de7f772f74f077680a6 b33b9bd2604125086f6c35dcdbedb59ed184af59 d81829d116c813f0b97f449cc1da7b8637e9a2737df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56