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 HH5) d w Binomial-Heaps:threads=2elapsed=19.058cpu=34.028gc=2.948factor=1.797zXZִF! ]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dpFyrm M8,҉`_L%!|r] ]|~&Z(wg:xo~.-[\T!;i6qUD& ⃣FYsXZ;w݃p<-kՑ&>VyH,Yܻ׻_"]RWnzˏ@ZBW%cE{йp{OXn# -kf"Ʌ4>W] L2&[osKd [~L-W; (ü]ݭ[ m򛌔sN 6KwT4xk5xb Ŷ(+(;J#[^_pu\9 'p 9sR[~I&zJG&0Z"ĖSܓsIX WfV(zSBGG*k#2c\C4 8pY:br||-^T ̬-࿹ L죩сH0{t=Έ!)?s 9#?g ~' /pO>غrn:úe7;L>!w sB̛/c<)G D0%as 57 > m-Hq/ݏ̦ڃs F9XбgYZ7zXZִF! `|]ŗXi%}(Q-<_aq O8PiMtʈDdFG̀j.]~|HYL}tl>W3[׶ yih>V2Blq(_8yi8q{0ţw9dۢ8oZi#EI`scp3*!DօGދ,kх=N ǔ|^Ԕs'Y7& ל9U'uf?"ߊQ-o[(ƻPAaXI 9_*S_dm 7JsnaP6Qv@H\kggс (nluaJsV2NW;MaCj2]X;ki lՁ[+vJR_-8̪>j䊛q Hئԫ943gt1pf^CW5B&OJK0ge VRh} X1.~hNk5w:IlXF(b^šrxTĂT醟j(&_Clo4"y-#]{ӻ?53z05WCKёfmDjɘʯF&yϘe]A? Y8ڦ/c֍&8/7͞ZJM'`Oij<4^kr٤doMu0äa { O$io݄"<7:+̓_M7*3-W08UU2Z SSF_̪SݺOA0ĿV>tGNP}3Gثy;嶬 |NVU' P;gYZ04eb82072791d00976062df95e35b81cc3afc530 8237bc5dfb02f79ea261a0d43f6f97a2b579ef75 add258111776de3303489072efdb722c0a076586 ce9e0d90f61fd3a1a6dbb623320e7c2ecad3783d e06a055435ec8022f1f9b84b24263a790204ad68 f0c7a41e25c58d76af306a704e264d1fe7fef4800ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 ) Binomial-Heaps