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  _- d4D ] HOL-SET_Protocol:threads=2elapsed=53.015cpu=88.112gc=2.388factor=1.667zXZִF! )]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3ۢ/!?n?@:5 ~;5HDPπT3~o{kg=@/MzvM+(']ɶ5lJm}hh7$ZKAf`W8 %Ҿ3ؘ{x۱G/?\uF8<)K Ppw嬆3R*֤Z\elfk"-oz͑4$G~Jrͮ1csao@)^Tʠ=͠ehtQCJeL\hc:CJdUL5㨯>n!ʭS/hN0hDWlj"}5},!K?>EP - HOL-SET_Protocol+1^=Ƌ7q[~jy@4?]ȅë-5",iiy]8- 2Jl{(6吚VA(Xd2%-@ށ[1l2fljCOk&p5xADŅZM:.eC8|D`YaLSE7͆:/wY&txG|GZwCnQҴ I;3~KM;v]e ԐJD2+zT٨[b L?ɷƩ$K[6%XucDf1 T33BA8tZn6d_Gj[K>'zdFUH3YE$mWSI_AkZ>"Ʈ j0wNS %BAu>LT# h'kW\ybE#s߅'Ro&gYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxx{{t|#Z]@cBulEf\u٣d(G`G lGpǏ ^-&QQ^}'09OT4iІPċI$UrW}wTA0 zIk[e⩙M-%vS)fgYZ7zXZִF! ]ŗXi%9*Wθx/Q5CAB>Ywv[޻.J ^M)xjy8Rc3gI}#juF\ۋ 'Mv雟3pe Ȩ<hWtpC3\&8#rRBa9SWG|olٕnTKi4TuVذJ0XARהa YSط*chR74ۀQ: R"3_Ig5x>Ӟ= sQhEɍm){XI.?Y,]4IY}ˇpJtahW=p]OOal[3LLZYe.ux/㾾+8ayUޒ VhWj+a_b ?\.'[:2,Ʀ~0e܏uyIOV Ќ' ՀPzvqG-OJҽ@oV\a\ƥGvʓĵ.`şXk |F9Z |@}@WB; Ĉ!,KNLnZ!*1i2+Y4zKǠ  M6JkEq\D҉һe'ìW3Ey{ W Bvԁ rXHh0DE,OmoNOn53VOO01qbFXԴwJN=g ϗwuI09NRQ8CƬLelI)x5ӬRS$&{g];ibdzLú Sa"+/BkK-RLvi8KW4IXz$#ѧ[ܽՙhGm&̵=[|DVb{})ϊ燎#9aECfy0'52Lp"oFfQ gʺ5WC ܹAENNZBDinՒLU+O`sۉ1Dܕ/N0_@%ZkBQ쑍&߇>9Jq_4~I0S/\oPEi=0 iV"RQdkF̛(7LQݳ_njY3"|"3Uq ș5~U!H/ږ9kL54 kK ꇈ<ܖE/mCќY!L~8Ռ'"PesUԙs;kSiAvrf0Mn~*Mzf$s2%ykCTzF09hq keO 41??>co±G$hiSVY?:UfR\̑wd_ۗI`rT0f>&[׸YpLf$O%ĊťP^XWN]XD:)-}{_}(VJG;Ν B1f}X͠=/i1~][R-n4o 3*LJ ѐ gnR,\*iF,w,f#gALG7N218. ( @=R݁/=}\jٿ6&S},9{Gc5UMy%N⋸P@XQp 7w 6go=,ͭ,# \9ZW`PZQ%>zO$ u)w{Ý8 ?솢.u6%,Jg{ʿ|x(&] 6ܶv oaPó:{USjC#s\䩒vQiQޠ HuP%Sm^k4|6ݿ`J9=Q1%U> 8CV-䩗nP΃VC/ͣx7*B'mA]\Phy9Ah;kF sƘJ9/ś끢-0˒w=P0cV6[dП;?4 "ls(&^z|7즥 M⿢^E F R;+xh >ITX JAe#A Rgl`#EAӖ$P)\۞^W(9j0o.7(.qjrgIe*Dak5mLoMZu ChYd35_iYfGaLK&BMesj G8PݻRaI5\`}\ ~)K%%BVb]E|ķFhѺ\gؗiܤ>V5<fK(% !VҾsB8`,u`z H&>+Hie,x %4eCN5kIGsFХѥ#oXE/?o;,mMsKlHɯIc4|sc/ ?8 HSiG⶷4OaՕ|鐐 )MKt0V`Ciu ء/Aq,7\VB!*WF1{gYZb0668f0542c4f9b5f3b596c1919bab5bc80d757c1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a 76d136fe2b1f7d0764f431c043fb81a2fa9fedf0