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 i+ L I/ Binomial-Queues:threads=2elapsed=6.458cpu=11.664gc=0.656factor=1.817zXZִF! E]ŗXf1-/6vRZkc- R0vPP OA50is|ba RQ; Q.'dթNeWVpAکA6;eEi{nN zߢHR W'$V8lO[MeJp#^"Lr_wyw 2t&F:0"D/@b-+!J E"_CqS)VƱM=mRĞwtQu"I~m&ِP `Y`bbn[}@TIM(?zdBcho(^Y#Vm?EzDsJ m7 Oz`[n%sҴ!,=Z ҟh@.yL%~%Ç. dM]AC%ڭ .ywƒ/WtUO)icyB g&cI{Y"2[y#9kx GˉTc`'4TWztMZS' lfgtj9AhMߙD+5ucR8CI)Yj6ip1rUy{BK@xĹ"qxW#uuD%v{vs2{q׹|ZgF!e_70{lg.TS d}gYZ7zXZִF! ' ]ŗXi%s;uGHEx&3L\ $7<*{cQPY2.3{IR/mʎ>Q̒},z} }WY|V] 猥+;51 VIWd|rif%`qީn?ϵ\W_DV%4Xzǧא[Zkcexaz&xj ,Ll`:z:C9^ 3m9)Rw_9;*oZ${M+qˆ)$Ԁ,d9='C&f8?vʞz1>- g];sd&>׍k)'OlDGUnh1_CZz? y [ij%C*b@@"6ɄX񞥥 eڲڔvy?<ANĄ;}>PIstpޑnQ?D(aSEgM+ +6y6ѡ$6vpۄ) kYW[ S[HΞ`P|,yK(K 9D eR8 #e+18w&x c#uƃg4sl|궄8' 'x:0q s;9h_u!LѯH,wIXbB-WT4mD,"֑ X_t]InzlHO'vgYZ0ea5a344ff64d3f11a7bde39609f6be0f403880e 65c0f80769c300cd1a3da1c8badc964be8cc0ab9 7365a6d0da22d1676ac894f539799f1610b88c18 7bdabb0865258300c0a6596504bba56c7c7edc1d a97085f18e83107db9e38de7f772f74f077680a6 b33b9bd2604125086f6c35dcdbedb59ed184af59 d81829d116c813f0b97f449cc1da7b8637e9a2739711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 + Binomial-Queues