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 #T % VectorSpace:threads=2elapsed=61.541cpu=101.524gc=4.384factor=1.657zXZִF! Q0|]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9n?!A7P"Fpӏ-u bP2 $UIYj0Hph79k`RydU1OppĬU7 Ts{73HqP36ѿ4T%*x9u]l\Ց /t`eYP\:8Q4~ QYm=4)R.B~8jn4Pf`h}D{=D~Z`@Tk_^>Qkl9OZsNspBqkAC.VY]n(5ddv,zc'ܫKkz)9nfD[=4A~ DtܙX:{͌=y#*HNjG)Iݱ*Bd.Pia_vʗ93Qq`)P#ԙACۍ|'Sg]&9d{KX7jRI0)"_||<^-%%NW+?/{U)#mB_Eӭ2@9E੔\mS^kLX?Ƣ׳ Atdd1҂R}6$ܟtVE9*tZuEpi _c%< φ<#mTG4'gE@6%'Sެi mf(nDѤjY!uaE?U7D6 𘔺$ Qv!z4(k,6XvuMP?2Jړpr:^eel:QѺto_('Kc7] hv֡eƉMƝAwj;"8#bET9k;`MgxIqƶGʆXAC 1bYDű>2GN/@b}I!W.z3S"nSߥF"qC83$@ӽ={0F_4gRA[IqVYK) sy:BPy~Fu,Pq(_e 5~|˄CG>ltgSW?]~h.n`LҊC?5-dft:P(Y yS AJ 1\WCDwfڏlQdr_EM`6Q:7|8Dsw pϯ3+`w \ݔ=^n mV|\V]1oՐS4ŇVFȊY'(eiIP(8bȢe+_\ȪHdO t7ţMn HsaЌ9Lu("Eͱ_O),T(x\j͓<3{ @$̔f~{x \ďL)pTH->m%l$u\Y\75HS%!$ }?) N#i wLin+uIwvȗApT#8!mIѝڽӣöS ٬g # VectorSpaceYZ7zXZִF! &j ]ŗXi%6V 9Za]&nDN"K13"*FS@[_W~M'__(:" (YJ4fi(k! o%̦!ʣW M]_[VZf0]Iٟˆxۻ W`xD>]4?k!e BgIIZM$,0}kc{F؜@|.qeEwȠJEJA*rslHyvHLrIwI~!'9FiGXBj'3 /[Nܺb'm%V;( [ K6섏-?7 ;+o‹i]J g>SZS!`2.ˢ*~fH5A;3T-.SIwWz1^s6Nou`DG7J8lV\epueph@N&CAc{o8_D\Hogau/1@ `Lw>'1'MD].'Xryv-_=NܺA n2к+HFß>d.O5|F9W73o(14ndT*hXY'i9R(QHW,W831+Ŏ;?+nf\+|k3rs3nrmWI@sZ^(]rXboE ܳ~3:ޗ=vU'yK$$rimlaTã翀l2^6Nr361S!QW@-[B}}EwSid=gH7^4qHAl^ Cv=X%|Bl%vsaA x˜`9V,/ob6>H٨H Ä2;?KI7v@X7K,\R/Ȍ _أٷ1+0tm6rQ^ƊOvqMN)dia[o(ȻQkV`mEm+n~j?·O>@QR$P)lu+q18$ۥ|̰Y؝C(妙N_CKafߑTubyA=$8fPuWBdM'''irn;:=لd9Ij;]sѱD-0+=kB'0ō,9@;OnAg) 36dBߪAT&Z0f-nȬb=J2./!ϩITM+2/#-[E]e0huZ'&̇bF< 3J=6[xuv|wجφ!.{W)iRZ5K,}$ W)?a1e)t0fS.=C8ӫD=ऽ2ݕ/p|n)*P2-""W0},{1вMl٘[DjȤmņjZkL.XA=V޷IӞ 1Ɉeb`+@\5\i5Fƣ종=" pٓ\ z x5 X-PuU Sj9Z"LPU 6^'semdɸ&QUv5ԸDtEq:kB$>%G{55Ld4&0{J ¾eWvh-%g9a0ooFzS 񛳌t;j X"z m{ Cx̅ʲ< [i*#wJvmF5۝ABAx^,i;J Iɚy~=J*bDyzۋ6]Q GEAɯ}Kƃ!zQyrv4" ISK1 tI*AlI?${+!uA>n5NUNr=UQOG)+ $j ףbvE.);|i4&;q3bcQGSo;biB)p8rBO}/SN]zPRИ/\dc-+ާSPaTkޞφs;!@>һg;Nف[lb&T ߠO(wm|W]hgYZ285d17beaea4c49771c4594a1209e9fce3c09a9e 52edb41329863c9ae149b9f908ee4716838e81bd 5f18bdf36b9b3e6f93d8ead37ce1a29c2f436639 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 9be135482787781b9b22fbc99fe61b777b1c0add c0a8f4df891951f43e67a343f72afb8642cadb34 e546d7289821a29ee4e3b9e7cc40905a0832d969b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 88c76860c70d62e9b5858e317f9274aecbdc5061