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 /l,d ]/ HOL-Proofs-Lambda:threads=2elapsed=137.288cpu=156.512gc=5.144factor=1.147zXZִF! ]ŗXf1-q恈͐7ӺV -fw0w]BjZjfէ]JUgǖfN&\ Z&xo +`:B›Ḃ%4?וm4*hP< zq-cҹ͍:[VL&$le*09x$LM[X}hY R$AL"k~; mIq61DΙVO' B3j;F88qa4VxU$N8xTʂK[xjqCnyθF&.R c pT=*smeWa|>googYZ7zXZִF! ]ŗXi%6`W]cXyYyFf]bIrOJrgP ^^po wC"zhNA(KM;TR*fT;|ZFsZ^75B5$|ŴVfS&"]J(NhTj)ِ:5c=!9ϐ?l2SQ|Ն7\N2 j2,1%~!7[UzxUa#qܲG=\6-wGU!Orlf+3(Vhux-)i{vb8flBo<.\F}Lt:%Pn ]'iOkDo#d8h hĞk)αˤ?@ H Rcէ?=i8% Cٗm<R҆=j7+±8>TؘԻ}Ťz$f]!$$HBKmMx V,,F6s`-'K\";& q;r1E| 7]?bIdYGb#3WI sk?_nwgGQ5 ?qtW;$9p"FOU ~} gqADnvvPH![D}?*9V$m v6X\%X\ؓ7OgEn2wWON0LoG fQDmpS'xב~AyT [{`6+i B{R9Ρ]O͗zƺW+=F O9+ :B& ~#Pqzpkx{%93Dﲳ=8S1p.qX"vc ~*g6q `e'%d($д J{_pZEF'bh>ʞE7&&nT+M(SWDN5Ub{NR ܨ8f @o5XTT?MQ1J{Nc0E/ޜ?*%Q.]<%s5)/0PeѮ(W2}sI_ܲԡdjy3~H xLA5uEYZdC$^IT:Ք4 DŁ*Vf-1*h.ſ{dUC"zݝ> defb#r ?u#:7;>ZjUk8SQ;y恮!a<g(}=`Ըnz'-U{º WMbV*y&Gah9]B,?$ C^FL!h/(1$'EcX-X:@ͨeb7S-&syڰ.¤\9 NiEOxk5hf*kVՍBY7R[G/7Ӗ)CM,9Vʭ@$sl?>o Ϊ'(Z"3 ?]ppv||6{$ ?gBZp>y&b|xf񆉥c6fis.s8+R-^/ 'v-rv橋iκY}Doub9v]1MC5'օwCYym^HfL*ܞOzopHT4CҺօ$Lr,y[akXywK=K @G( ~.z;n yR{$#J|{ۜMy.Otid=L@LRa-h kk΀s&D\$;0 Q/l'Eժ^GW.ё.D*G57It6I )%"V4A ,pOΗ }.d:x#NGl/DOz_ }J776D-Уii1mFE@C<I}f}ozP' VƘI3w:q]roRIp.RQUcYq6j׬hSX2qg_Yiټr44 3m9]E C\3UnI"U3]z5Umlec6GT,4=! 6gK]QGD ý°;)PuȜu{ ( 4\fj<ǒLxdU֕b2c.|Mc A`7lUj ^t_t_Ou{kD)/K-w$qPE΂΁4g Hv8g@w83( :K-R֎(_לPbAS+\mVCcRp<<|[4,87{ y uٴC҉ѮCይM7Z?mb+-y%^C$ލxM~qveGPrFAT:\k>0`gȗio3!9O2It*`my a|Z4U%c5.~ji'wIޞ]|?ȩ]nQ*1N4a2)]PN,]19M_t>Z* $ɯhj 댦5hPZRHFsSFrs89;kATR'&łf3I5wk' Yi)@r@7;D,06ɹ̖wJ4gߺ3sG[)Pxf>go]xu(3Y9/.ч|Z5ֺF~"/6 S3 *8!S*Mمf :3 &4jHާw}QOGDS.yJa̰vh_7gL=x"A[kl/&ԿpbbBqFrNiA tgLzsv  ~b\ !f\T)4ӿ;E&yŚD1+[C;p͝irffW;p+L^@e͢yHhFŹ w\c!17UısN|ЮAvSǟA"7[ih!fMՏH+ŕ ĻQgYZba71f9beb089d72d80513d5bc70efab83ce68a44681d5f7fc3e04aaa1f2e7e53f290c7539f21d962 4af0be627252a43827602ae9383bb2fdcebe96e8