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  T4D ]S Valuation:threads=2elapsed=65.603cpu=100.492gc=3.220factor=1.537zXZִF! >]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\'br7"0Tˉo0^+X)5ߗ#|+> 8H؜3kA0ymc5"^jF EjU5M+'j]}Ĭ#_e a %Ư =oOx̞"p'~)?lSBtEI grB# ܇GgXw(bK,ḭ8YxsF%};"6:̒,+(Iyh h~&XR- lCw7y2 N^͌j]&IH5.iH~ 6prkk}1XqR%6LDш? os?DB^qZR8crpb 7ɠPxE}91hb .W,I5=*|{@ Z@5#дX 7,#DӬͯP֪]mj!HoƿgZ܏Ҍvyw2v60%F;GSq .ۋuLCے *h9@8{Q5jb3SndZX Dz Nm==7eIfTf@bb/yca:XFsJe.{c*q6-wx\RdpD*ó}gy#9]𗰈F֬b>_\䀹<5PLI࿎q$=TT>詧7;BKЖxFA'f77=Dp jPthƼǂ/v쫺+oģ܅UhA jSTJ?[ԷvMa&C\KZ$;FooX6O)Gx8%h.ֻX%tOa L81)Е4}Yy&o@Jub[ ڒ>XCI<[#0(g3O:hsB4utʹb&/aGxľ(@a0%`fn~߿L%:v:Y f\ }x gYZ7zXZִF! J ]ŗXi%60mÇdMi6 ny ϤРy_oQ0CvNR^࿙볞5}##LM' a=(]ij2 $f 'JtTP~0>M•_FS ޽_UD%҂fU46("]NL޴R?y'\˟0h Kޑs1/ Lϣ('^#ǐt-HB]I>Nڢ/4$z5g׊ڞXD%>G@ j8\ S@s "ߐFB* !PD5$˕$[4w+zrpFGE#kB`1SB껈J1b*D©&fa1#_N:jm0*cűpQHi$2ap床2dQȣ/3, jjU6i0DS>G{#dbJ't^56͏[P=+.TpT\82T@ HqsjS9~ɿf`<ԣ_BjF'5,[B0{Szg|Տ zkL `.{dku2Uk0i ce+ 683j%,!ϋiЉ$*M{;L髃2u;5#шIo+VV;~8_%He˦q1R?Go(3ᤈS-bfϢb DSq|qSi CLf8"="x,~^tͲ.4)V\#Ψu O";'. {W#/]u:bPV9B"#J\X`8O4& J1=Vc~\M߭-"zт~6j-:^.dFŌC+'I=޴ +Sky=gJ\GTI벰l)ic%&fGp\:ҽIpuì3u^+B^X<T(Z hl-RIŀJ'*G(ഛޒv5%A@NG&)@e%쵐4)ahRJb1~jJ)tFp^iLZL5rU鸓 ,ޥ Tl'n5rR@ESFM7#\fǖF2 RTjTH mVit˕W=6H۔k/h$]r&J8G"V:(oEbRܺpBhbG,rd.sMK#<=5'o^IBH EB@Є7n,:-G_)@tFiI?5P5+j><,RaCM+K۬oedԸA7ۑG9>fznT2Z9j+1؀ HNv7ZdHe w|N>ŽJ$;tnF5ipLV9?Uԯ*JV`4L)YO00DxV]co+w+o _ h'8>\$@>l7yA˵g׸>d@ g:Ǹ}ѧc/Y bvt7H|gYBQXMAT%؋dUȊk2 Af1 $i}^.y@)Heܺ^o[gʹ;P<H'k,]_&s HA7,3+|<ىt1Usa|)}LR[NTϣ#V8:MX6`ԊѷM6/G0T!~ޫtR(";q^7T Rݱ?&ԾwE*!U;! #!$9,jbGEgoxjBTC#Mh\\UgC/)$+DGrGo r̦1)ڴMs^>[sm1" J@xWJ& z+c:(Z?=\p!obW>s#/ * !Cx6@wt[k˷yn 3q}Vҷ~ORsk x4]#cȇ?WmX xCgBN`\ e08EQ o/k([ ^+2\k5f]J;/7 {*!3ԇp| h|HyPzWXYMk[F=)7T=4-f|EO!~by*d{G՘gˡa/l}t/H4)ϼcA[{w(yt X?AҀ'k@|W6t{&pe f;ؒft 415Mro1acY3%_'@QrV uȖU(߁/9^I8'W"0 be(]* _Y.Rucd)~;kyK߶@L|wLAs q%-AqP_1/Xض̑U@.fpJ"47C}%K&d0KS˼MwdbdMcigYZ6afaf63d55349f8421f975c5e6de83493dd4c389e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 54aa49c5c72e3fe352152f3fbe92e4c4789a727f