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   [-,|< ]]CAVA_buildchain1:threads=2elapsed=145.933cpu=272.476gc=11.088factor=1.877zXZִF! PPN]ŗXf1-/6vRZV2OHP"yZz%}<4hw,\~#?ǘ&LO X`-D9F%n=jp$V`,R=32lxJ_,{-\4p :9V h,G(t@Ovٳp0@r;"8G/(LQJ7(//$RJ7ֱXy`\yYY11۳ޜb`4A@xdnG\$Ǯ?ާ*%!G&{(HAaе$ZkP4&EPo-njpk)dE20h#4?v"ʻ@QvK ._kp0_w3P:-90;oS!,1#j|6@]RL$&~Cw9XZG4_3HPP3=,Qs2h9ōvܝ$]@2g%mLY̅)P4I M- w+{%ӋEXy m#Ab[z~)*0F]'[F|̳ 4RyNԪ$XtH)& _QwؕNBuy̶Ip\S5\O"eR=@K)(EY_={&v& Q  vdqV4۠U$:|뻘=oqBU֓KA 6m,}ٔ,N*v[-KPoGܐW_Ǿ\ =50'N  - CAVA_buildchain1+mVQ¥g@w^i}\ĜA}.?&7qh3M,A=%>LZrԁ pGTp }I%e"SK8p*ms\u#&󊏱gYZ7zXZִF! &]ŗXi%ή*S33#)-R CxI;cb6#7r?xἌQimfsxaajC沎;ۣC3!SW^fb!QǑbt#~k8ٵ>Dk,/Y@@3orB%nWFl"o.r\72J'jز/has`;\VZqlH}ɍI-O+ a #J'ϛ2lnɸw~bۡuu4fG2#1ʋ(`[l_.VvRpHQ*ɋ+ZRR52*[i ߴ;f7P7)/ u]yJsR`{.S ɦqp/n"ڱU}A N%c1"G{5FLS>#3$a-CG 1b:ܓۛ柞7Ke6 PHmWPXM-[7*A#8QbFxڍ)HSHmTP^聅tJo><#/;ËTb 9 wY\JN Ffmn[+eH}dyWo3Y7",FCspћgaAa֌̺,fUe+Hw8LAcKvaER0ijڔ6+bȾg-Dc:7Ƹ4piW;WIN;`]Sd!`/Ĥ骛 RDjE|ਿ,s݀UNZc搋𡮞@G=LC\8+]p&ꤹ6X$Ig;z^c"[}$^E^}r/IEV%"=T%4awLVΤ !"M_#1짜vs dV^z~od((npA^ |EqoTQ{!={V2D6 uHmc6ֺowZ?YDN20zlLyuҰՀ V<4u a6ď@O_-HBGJu'Ի.uO]PW z=b>Y'0ciWf%H )auΛz;-hD=Cw~|~{x2uaϺ t\/GTFa0QtݙZv[&1h,G}J5g06@m5kٱyJ w_M1aT,AVxt.rn|\`~H;:ee: lƬ4;6xS}1[pmC,ׂ^eDv=jt+mmޑd ATY&2|Ht!{Uӭ4^Jyiidaf66)fUx ڊh$1 4Dw*lY[/2Če]ޙCIpCA;#wܯ侻xߙwYwZ$iY(h|kw)= 9Ë"d̺ h I3~Y;D IAm⍑B7*."_o.aNN=!nsh[hK|;s @DjuIqXAܔҥȠ.($wXd E禽w+M ?xv&@,`ܿ%.uC)>6g6⡀N7uE[Tg 5ǭ/$MHvTIy܅dZ[hM%WM3g\K&c ;4}ҩ8Ɖ:L=@,(pӊ%ڇz_m p7?" 5F[%ɥ2BG\?=[o}̶ή?4{9a^bDžء ])}{|kOC+[0 )v.YT'alr:sp>޸ʭv Ƌ;iVѠitOFrvO,q]o5_ VA8$ S0IE|DW(kޢX_M2SKGZ rqle#).M˦u IEHyX$eD҆|uXa!%i2)/U3<4 3S}JHw\zYG-ȆK#w h1w*s3g(A+~,ㄳB£@xE0-ITw׏]V|Ѯ0& {<020-}jC/m "p6=ҡu~ΝZ*`hR;Ӱ/"QrҰS7D <dX"4&b]n‘PvMJ_23J^#DJ*fg\ sКʼnu/ؒG{#r&lƨPEh!QL$CJsYx2r?9Xzk&hV/17&WͩbwqWHj6 GFǞ=)/^Kiਗ਼~1 _plƸ:;0G:4PO #Q$Mt}ǸyPNfU_Ѷ:y씱1=OOb&~;qES)l:2`Z l‰P)Tshg@_i@s?-E&%6g9dr'ޚJGaBiLNqkMGc`([:jT73ؗuȆ0#Y7Qr]tVPc Xc߾3}ȮRO1s )+P'C^N688>BbA0-x qWdۻ}G LWgfDBi&ɸ:[E5 p<CRYӽY[-1XP6t, {'h I^aB3T-bhrJf;>2& tYOMxƂm{9K]8"[dPPwF5LL\}:vE@Q Ȳy" ꇱڴk$TpeW֊k%G\Nkagv`T1qIE܁Φ#~&JǏd#O摕4BU_  {?"i%.!O:V]gNJY+0Q]vjJΌ]Wɣk:6` . `){qՇf?=cX5!l©l9jID@m“3bp7WfSt2cllES;\%+֍*njj+?5 x Rjwrm/3UsqI H#VCWciSq 9asH( L@kowRSD[z*`!2Z2ޣ34|k*/ oC]xei&^ZIǜ]{>D5r p",ǽǍeKM9VAZOej `Ct~)^8ɔ!?_O0vˉ!y-(k*AcxC N^uRG[wϹuVaeg'idP.a8(7kLnr? /rSA9 zg-fKtLvH{9/M {S &>ZD*0<)K3=j0ʲW}v8i hP9NKla eٹ|S!7%ޙ z:3)fJN 7!`?ƥ2~lO][f9y `Dj#rOL{V[M*lm;5 kձgYZd62ac3af724ae9a75dfd77195972d064a7a6e69400b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 5cf66ca79e6302b03b690cc77b658161a66a4401 31e3cdb1fa11abb502a94c1c5589905b57492701 dbb707787ef2333c022289ea1fbca53bc9495b7c aced4d8e84ea6b79d83fb468dbabaecd859df33f d71b3e713f82b3d4350ec7798e7d17b8ca0f42ef ff9c42bf3034b94122b90efeaade5aa66b62533e05e18397512ed9405f1a3b38c9f29855e7d81faa