SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  ]!LL$ ]S]Containers:threads=2elapsed=104.763cpu=195.548gc=10.904factor=1.877zXZִF! \Q ]ŗXf1-/6vRZy蔴I@B_J?< Xk+CG߇V;- J$H^|1'*RLBX|E<[<37%k6/ATKs5EqY{*$EnJZUM~zMsYwS)d_ dMŠPZK¼_4,Ud7'@uL7_ZTg; 紱&I;B͑Ӹʓd`cCvBQ3JAi' ߫T)(DN ڌLˠxݕWoB^:|T&#?D@d:&̦ L= 0KDUt+i"갫egmI]$`x(녪X' Z(+ AM&^)|ͩXłOD,@j^2oQԇBQ8wvVxG&1]fLs/6߅\_cQ]H=:?F=4CM@52`mXj8 Gy;wx]Tjza'"-%o 7hsni|3 8J5E+շ%Qߙgǝ{ǃ8GuwT4)nG,E0g)T yLb;;>OZU'pil D7ॼ#YBF5yWꟖdsQSK;T.P4  ! Containers$c/ẗM :~|?^'1?|%Ұْ|1ݿ}I"l:9O(vsxJ~΋`*oqAQkFa Y|Yw t:eN?<?NcVBFYO >`4KAV*DhW k!ieH :NHBq7kʠ05Nf!F:K*:JB*} UU%^LXvΕl]P0\=.IN㲂xOG; Wyb%;oL}QuH'{A}$.^*8`G`1@2`r.S[(JPYVPCP5- W" rR?awר;/?61nW.1 _<2u~{]jΩe֘&/~Ӥ()ʤ%1]ځP'Flڳخq)KV ugcAlOD<kd'\It}ńꎝl;}b2 &}:=f.U C`syЧ-L{ĒF11ĺc;07탼#= yeR:Ԇ"x;?ٖϮP"? :BѿH6?7Ex0ly:gO'֠1#m2'AתrarKe2A%mBn+r22N0/˪-ʕRHխ֖sl8y*S:`E2HT {#,\T=̒/q\Zaf\iq#Dӈ@|zgZ%|$]?Lt}SieoϪD5Ͷ~fКVBt6 k}m˪CvYu"|}m:2w$ K$jj lDѲ#v ;a8_-xJR~ f2w bLn ehu%iD̆!x̗I1fJ ^ -^G9C=#˥+/YVwjGxA#NoU|QPS0ZV bS86 k5r}?5IGw x3Jm$ \uv |y]އ\$8² tOad4ٸC7er\tpo!oe+=x 9OɰQ< aimܩ)䰝z%)a?J'c%RB^ _qj0GSӛ3}ۼMr|4Y`:h 5R SK&=}fUݞ!jˠ#_6AܺSs7m&MD}|@Dȱ~he5]GnlJ:-MHil [wsد^";f&m3pn%uBzjM׃YyնLx#XS$.89ET̥!7.ip (w> 08/*;;V^7Pifz|,XoZpw˃rnؘêz•xG M\rW.^\rSR9 vOlDfSɝ!7DadĤ?z֝M]?JiX]U Cm@`M/=]HVXMc^ KQ}v LnvyPJ_iUF%\X%>SM6l޹]m&ҋ"QacmiWTz=J1:~0b2]ܛԉv$U?CcAѮԏ!y_d/-gPE=Qu针@A.Hti;We7[[hGkރd80n 굺$e\sfrbW N1v@(r`} /CtB+2C4unh~PJCܢNBsCy!hi0j ,zug0O3kcyP T/#ƨ"H*^xa5# V!Ԁ7gT] 9x0ז\4n4XP"d4Df%m;>`5$MojocQuzkjd9& U4Sl;Tbkw|t<"KLf-d|FVf5:jEQQ|C4%ue_;=pM招3 GɊoDJa'$ONm;B&QA]7LvD1a4@rg^af|.RV $2O$³kW| ɮdÅ~`|CXu QrU 8;m=a@9q\G)Zd܎osdRpY[Q80)"'^Һd ‹|5VEXcN?郅B"%摦4T摾C:iGvl!K{jğ!F.ᙳF (l{).6k4;[Pf Q5K%^FeGi:Hu$610ZXCrBNR{lw|AO+kFg`2.`= bH6}E\X|T 'Y}FA4@L\7EFT8T4jFvoYXf*5BڠLOsSo-ȫЎ4 9Z?VۘXJԕGnPv\2E*Nu+S5Q|A;wv)V~QURez7do5bbt-^)ƍY@ qXX\tbxUXtZR`؜wf z֍ rs,=^y44ĵpNP~D(Uyl?U[_g&K ۽"o-[BQ]- 3c߂!ܿKCe*@8haڶDsp8]iH3PĆ*hj=ds [,Kd oH7ޫ Ľ N hUE}[kwq `?IOe,VDHXN'0`>Y̳|FoY!rd϶EQa.qqŀ8-r,[>L\g@&f?c%jы4|!G7lsPTHa8 Kup$OOHTiJ[{_]^G.MXqxS)|ZI{ҚK^Biz} C|J`\6ͯi*E _) nf,:u\ff;(D$k<1HWc|w$xyX͡sZ8Ani y7 &,H h\{O3 bEbt3 w4.u*?)TKCq'c7x%Τ,׹-)# a"8.0DCe]YG6myV{LmFf}xoƒJ.c ioƤſiyG3|8Xzj ۩ftq`[T[ ~P?|,*\@c!g֞ 0+يiXtg~ Å5;9t pe6Vx$m-͖Ad=ZV<-Z$d"O *8フrw;eHTƒa]%i{iqrIrZ+1/blSpe&[4j?u|ڷ?3%WdGԈǽ@lY9!Crb_ *X*EPQin 'GrU\onxcf{Gr*˅AC>7MY";hnȮI,dI8ui.P頍'S+%mANj{x{({o>N*5 i3@]l{Sn(JΉF{shfm1*sΥd2B])A9Ѵp;(ix0 .W8̿Z -S_E$aDm.ATkLC,jiyPK- ,i%?<h8qRx tEsI%(S-P,DW CDͧj*J!w^ L.kgYZad5e060c0024b40def5fa0050eed3a7ad7b74bb88ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c edd63e791683b9eea5c0e11f60cdf8e503e9299cc4666ec2b91ec75f291290a3b998f929f69aeeed