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 ]]#<|L ]S Pi_Calculus:threads=2elapsed=82.915cpu=147.524gc=5.196factor=1.787zXZִF! @]ŗXf1-/6vR[2@Hjj ^,hi9=0O-B.~ MMm?"LH*څl>^̀fsmG{mffgX_n9&Cx_S^ f8smH+b,UbVU]Vu@aa8OOrTP 9]MHsA%܌X$NtCmW,Psq4F!*wX.8ھK*&mlN>o=M Ãp&x .:zB@#N+dn%{Xc9@Ԥ +6`ELq3lYJX'sHnX0kL%@0Dzf՘Z mro t>.v-K.E} ђm9&5O orjdwvBz@gseN))s/\0uVzL%W RGVjF/B3m&PHTC>1|& sz2,٨ jBf. *0>1C|OL4*=-I4?"'BbeЪ=.7-:5IxHt1oU =2OE؀pf1\Ϩ@bBw.n3`W6  :jo\Il0_يftT684s"NFIDfE2A }# č*hr?:Dp_,L:zXcl5m r&~W'7BZG9j,JX~m"ϻ,*;ܴVIc e|~g_[Bl!SciMS39-+)d9 OX0s@cEZqٽQSg⤦S-)+d8#Fdӽi5@Ȏ*8-灷~L_&S&'`ziu(';kG'_ u3o΍IVX/v[t9VUqڹ샡b/|] PgݹݦٷG-mE֡.-T:_*Y_^ECn2l" ./Km6ZDDVfF7>f5sL`??'aj/,0:#)HO}3MhH}V@P"U5xoNMpMc7+؇׋9m4l5x[2S*vNSBoSC'/S4ƞ S=myãZ~aY da>VR 0s֐{-/ueOvS*2 +^R$,o0RVácv.074ǠbInc$V5R)˄4e-$_:shʂ}2FTKһN.=*ǜ ltY\l*XsICPIO+Vid" =5bON) -(_`4|^&^P # Pi_Calculus1JnWLZIqGK['eZ@ƿ+h'uNS"ƓwKPC,k!G4w&͗~ک;u&oyg3)4x@Wyq*CHn_$h2y2Jj#JaKk5R9tFj@4+ogxAQi@[b?q'QԚxҸF>ȃ{[uvh6׷}⒑RuA.0`8t2:+Zylw["=@x? JE_y_ZQLy紵@=#@Nnc"3zzsn% \kfTT2:c&!"צsAQw:&O;m{h>`ZZ3fTQ:]}nEiޚ$>/gσx2}֚,+'u-c\ft ~vB*Mlf vz%uc>}EҴIv2r2ƈ!g2%tݧAaM VNv)6*C4"}ńE[1wF:Z/7QϢ]eI'-:dN[\ﺲK-0k1~:ZEv _Dc|?z,AZahZXXz+>$nRn/2ԘjhDl‰OUr[2&Eˇ}%JW0DV>g9`k[UgiWӇJg LiqQ; ]ݼ,L,7.s6ԁZOWuri9M}'28ss;vwqQ?b*W`HEÆpSA5KdžSX-v0Ga.7Ō<+cIŃbD]ŘDzӏsz͵2w6 n 2if20}\P""-aP޻H~o%q Ozo@uz2 '@1Z%ϯPtL}*u=a)mR^_xjȇgG`ɞnR}RcW{BJAr4˨Y_LxA=mS!+Cӳ"lOkB:.߳1X{7'Ą_.K.1&(?!8 b|Ip=TC\ oiJn4SVa.P0PҠ0 I kׇL`7T* ׂL2 Կ3D&(\f@;[#6mU ?|d_1^J *tżoc-##_2VzBݶX+o>fN^tD U.kqq) \+{OF@\U0Q п+yC84n^ݙwηV|c:iH442:h{Aԓ;fIc-)Lab>wuS`w]~BJbY=rIHo*%!6V)z2 9):r2֩S7xYV`pQ?b<.{t CC֟O!>Wo4 ᅩ)o bVEJB4eJ" M~A^ww_%>`!4tE0#z8xo062 Uc9+fmыǬlʦ  (m~E~:^(V^D|ޣ |Yo5NU kE3*HP0z"ާCH\f8Z5sZޙ:.whMPcA'TʙՔ{ɷ ͜ |B1Z=^&h"vG8 !`v.tXG_g71ؽR.DqA*?G 9KEijfZ(6IJNHipYtx}Mg9&+T^< $mO7n"v t+S;L$;9 ]Wלor~[7ozY+0]֘`MQ˾#Ϻq+ ^dR6HsB)6qײ˷*OeA= T̆Zm3j+s8ȌƯ7q PV,΢۹91lmO-ҿaVe@洋]M㥔+@Ud􉻀^ Gpi*hn/XI?UC [:/#`zP.ίFا 8ơkb'tX^??q~ Tٽ`K+!tƄ ܚvxw EKqw0 1@<XP45#}k'0e I:U h#}Loʅ<8O|\d7~SZF RJ>( ^`ʭ3]½nl19nQLq:']YԦ ' [QcG)dƶ9|>h8fEYL' @U&<'4`iKcIm !{ GkJ%zQ3*F(%9.x^IEUmBXhv;2H H^Zky9'Yi7]ф>|?lmB)M0G,#{!x