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  0 0E) 4Dd ]]Kleene_Algebra:threads=2elapsed=50.047cpu=83.736gc=3.752factor=1.677zXZִF! <]ŗXf1-/6vRZcm#kƣOw C/팪¼;o{'&:&mAx_׊OH(v 4fy[k'a٢xm4zk~P^HH{LgA gdCJ2|l:XrOeV̖+鍩LM@%7 _N]~UZ~^u绉g]( 0vxYc1 "~"!a.N?kN%4=ev$l3,=oc@NXR}p(>l| 1B۱Y.&7%q8_֌.>H~D~I}Rpw/ZR8`F0aAs[dyǹX͊nȓAH P `2O]5YQxχm;-%]:fkӐ|_| Jg&&6D{5jޝ$֪?"/rwϓt`2)nZUsz&[2܁w/q&SMmJ8AD"-U'ri]4'6BFnAZlE_Kp..RXdzv7~26|c{_RpS!嵁O Q !yJ۬j, '?Xr֨ӥp^cW \ԛ=̟ ")aZBbzOs07{$1><&h{8,4h$ Y/Qڔ߇Ͱ9 rWjhyQ`lL4kף_|U~\c'*)*""ՐT; r7:!s}_ROԅ(RTz#{fUu`&=c+4_l,'>m`L5bkww'q;g5hѼQ E݃y 27< )u G˫K]@?4x.z2)gQȳkp"}w`g3-E?u~{X;E.ehe)ت2WHN-N7A8LimH~= O:QpD2g(+{ b;VGx}h>zw1nuQ¡u?kQ,3_] LbpfK\.m3 K9&T#_m hE(UV>PIKTi7饝F]-{>a`x9 R׏;KmYP:ȻJ:PM1_}pKvNw֜+rN6)#K Э7FԸʶ$϶ۆi5^ر~[AK8ԙm9}b?RJ@4ʓGXGH0"5kuIy^ya5^ʟ.2̝5 @F[!Q%R"w8oXM o~l乛=5T){s8Q34p@k7Y]cL:8='B†:708 +9L$z[/D5Z 6?a/:wf$}QN5Av GB*aAQ`a͠\͵ҡwt 6}h:y L}sӼ !z{i_iJoA6_+֠&Oό ~ASٷb E)}+غJ8ۿ^u0  0% !+ =c[9<6+(\^ȿN@#D<ۼw&u`fVܗ}tq}ia.ԕ]#Ģ!м3w`Ill:V/b&T%F PpK:luWtS^FU&wFᅍZ[վlSh Ĩy\~&18gq  ]$ 5\wLG|9ĂH-Iy%4 hN9֥ÿa?X-)tVƽ:a Q2@6kWw'ÚAрM T?tESVNw}YyU_`۩gj,w]#[a\Ҧ/J8ocx(upIW]MB rͯ$b'чFr⏚6n8$"(Ւ'3a+DY8-R![, c*D2Uj};. c6:V09S#@*5n[qL@VZ7> 9_%!j+ȳĒUjaWnJL­ˬ2[뀹#?Y80N Uu|n)| *n}WJ?VmN/D8p]& V,u)4c\-p(V"8Yў 6;W}7 ޟ R8WgS.+t`UUJ>zDsfUE0d\=\q,Kt]J](Tp#*1d`p_~%/w7j+sl͗9' HvUL >WRnh?#bv0QG̟d6 F].7Zϻae¨ n O 9la2N84:qJQDZQ[jȧM/? #ل<} +i^@5N'$=Ғ]7uq=J%]hr-0,6O@ yd^?|!e\?3R dBkIhv`(1%je:ZC&+M&DB{\.d a6Jb1ZnQ?J-zD =)C7浐j p`TC5 W_S\V$r ʲ>{b;ײuycSS}@xtf9, T:766%3eNLr֍c,A{TRشCP vy3rK^4zڬa "wpq#},}>֮nRX K ̛%Pv=hqc?4󈚭68yeh绞'!DH'sSf{p _..d:A=zpL|df^v9 مi:eíMs-Fr9>!>0 @W 5rT%ӂ_kfND!b :~ PȐz ;HBrW&Y+8z!w];5E"7jCib^$djޝâUe{򷈐\3 q o1^]7V@LFIڹt@eہ1H2ȏ$C$ Њz=d#̝(}d9Ɖc@