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 f d$, ]S Lp:threads=2elapsed=36.263cpu=61.612gc=1.176factor=1.707zXZִF! )]ŗXf1-/6vRZektZZ/BcHkIv[ W % ag`)޴$^Դ+o#â]brkf.E@X*{+_p]a".ƴFA~$E5,Zi;}< *&3`&cݫ T &{jߐutwfX-5x Hðd%h%"ao6,wP a@Q%3B,5u</3]b{Xzs[ڋe#!87rgS_y#OCg'B6N,hP- -9 &hG o d8ܲlsapV {Z2V|43uL;u'9( `lt :VI ۈx0ڜC\?VefQ'^ "J RY`J/?*m3\xqFb_g\Kd\`6:Ȟg U/HCqfVio 8MթO 7Ռ'-@I<ӖrBp}|af/Y*60ILA4]DKJ߬ePQ!Ho'rr♗691I]x)gd0eE(}fFbZU\_ܡfHCtq'Wb_95]&:L -x*g.G mxf8 qDh%'\o(~=[kOzVU 9aqc%]?u?Ā;JgYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qm;'ad킄lDycp'H|{E7p(}SYHEK ݏr3ꕮ#RC z_&ڱgYZ7zXZִF!  P]ŗXi%93䏅G':Œs 2,:0 d۳SSIv#I9`??RdEd1d޳v 7gr|3PKWbN/`Us=% ˅?>ԬVU ~Y RjAc 0P&~ 73z @UρET${갖O.a2mg1ok)/ r}KThĠydWaAm˒$}1-SK |wRI9ߓGlU}/b+I\פP]sӣ3~Ɛul'0V[mK]kH6ѥ] 3_!Y0){z! ߏlx$@i%ԛ6"M긜_ RC+?Lmu&'XTRxO cJ DڄӖ[9>IA|{HG%Kۤ!_Gӣ׊dḣ"֋.ٻrzzTMuk>@O{Pz2ݼX#j!~e@Ga![csnYr}n!+fYrPweUu)MY1}?cA= s(n_^"珑 bbz4 # VEaU%X -rډ"П>o'uWNckhFnxt|a>h~ug;lO Hr"w"ߢ9&Wk[zG6Mo.rf>vb-hI[~uOҖ8_"cBXX'7 C: 3)`5 :[wC+gX)"-WvVs̋e*몜V{=w8!!<-RZT(ps bs;<+36/5~h:Wpg kn-2'^d4'zB h@c]êQR>ȬZQS~g^4hPίJF" #f]$x Z*|A1R1"fz <)l%) x|ѧZH/:XXդ~+Um5w1t!4w9`"e,1Dе8N4+е]7A}u֍ 8GtT<9>0AәFxnÃDz.m \5u/FR֜<4%Dj-M 8آ+Ft9syoFM$ndӆC`m?uL~x#5ߖO5/)ؙB#a7'0֣"1<}O륖0i7j~M 9HJR3\c{)y9.GĴu94dΆt\"x!'Ws ,JF0P0{!~ʓI gxxF۔> o9|N >*Nxb>y[Y+л R5 tzIvO(Q`! ?|,gYZf3f76f71facca2fb7a57e1cfb704e094555f736fa86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 450c54405b003d6f4b7501021314e5f7abe09d76 e81d1e1b44c37c41f13b1fb407f43529a4217a74  Lp