SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ,) Ld O]Kleene_Algebra:threads=2elapsed=49.842cpu=85.896gc=3.476factor=1.727zXZִF! ]ŗXf1-/6vRZcm#kƣOw|ё ̮/`R׳(xv?[U~\`E/ɬC` ©aAg Y{(󱁐(|/E]@Ysl]l'@|h`jSjeqV-Y1!\Ĉn[Q!ܢԒ(7=~:mPw?_`Ĵ/E ,\7 m(-n7 ) Kleene_Algebra|M +4Tvf0aIG{Z"/0{`nGj]9jļ1‡rv ړ.OAT`̃g(y]~媭 4;߆b0 djGwe̽ @7Pxl_K^SlueV5ex6!~C燙ŸC0H5\B'F7)gّ|#wWS1G_reikJytG$ PsY7!dZ|D Uw,*@g^ D=ʀ/q > n@XAF`Er~~WN2I :OJxJxlo AM(JV+B lDJκK,wuAkhLC4U"dLW~of"etm)=Pu5$sѧWy`ɑ\_?)z~OagRI AA#1O[zD-=}VsB7C{{njү]; kQ䙭)"RFHHr1x,kS717罚ZV B)̙[#Uz%X ̼-z<;u'c*E"swy6h'˶|'EDWL.X'G~KCr aC= jD'@ AW}i(kqJV8 Y뮐خY=E3!^+,HIZ{dZ/B5ϽD%H%閭s1= kG,Qcf 8ߡy ixC5M3tb!|~a`Ë15G39Je)4 h{@;er|=A2{P<"ϏV| .#-:޳rq|MEO׃DGށ")EZ95 ǵW4HȪbB{`8= Hc#'ӿ`MK:91%*w!&Pu:.ndۈTnNic|{n/ q_Q!qIɇNO%ٓM ( 51bƒU )6ؿ'58ߺɓgH]}9=܄1Xp]m'p߁:0Ɯ~A}UߟF>\e?gOx-L@X|;SWѬݷOjo M."/M2&/\\X RC Lϖ ,@E`|țwa+-CѬi KGZW$$mӝUNL+*3. 59@ѓ;o*!G؜c+p\= nf }M #0ɯ`-}s%-ߘ|SSBxDzQfajuZmU)ڪ]Eg|{Vze?!>gTxΟ,c.pkSu)ܱ#3hOmz\'vBq{\dsw", jQ _5_)\֓(ׂt<#aɀc @]{Y=D3.yH uK4>F ;+7)\~U$7[Ylxz1 Sٮn{=3#)Qdގ#ruF]/$2 a󆉜`J]5dj.!ȍVu~E\K:]JDW9{1)LGUI͔[{7O9/W^",.yd'TuU/zy,KSVD*ܼxw_qyȸ;3@#ю8c{U;]6#j -I -Q]wNРܢD{3xEGGĩ^r+`sg.,hzlWsn&-1@rHWF|csƭyvT2Un|k=F[njUZ;U &$]pgʏZ`0CQ$<84!.6^"V@pk  *ނ(˒[4^0`䚼bwn S*0콍j_Ew7K7# x2dTJpGH'QWaoNpDfBHOF ?|`"3x@awI^B R9O[5sӧ_ב0A+bcR21 XZgd$TI| Cؤѕވ/LVg.~? AJ N?cWZ-)C#XF$zrDB#MGO/8ά-y,Z7#N&ɂ•?4(A YǢ*.P3MjPa($"/B,KnB#vs1drk2] rLrw _oI?8C4rţxQ! hzc,L#uOw9J, r">7FYWY_ YBs#t&{(zI#JU~! FY {X:tQm`/M}iEj'ꗙ5Bl Ŭ5a:}@iwhz\~?6vZb_ _$~xpq(2q \/3o8$Dm Xۿ*VSm/a= ׌FPxcÜDC x&E6k.p0o9QG!,V-XO% g7hoO8 Jk]454б:gYq1*S\bE%9mFvv?&b՞""U^J]~FDo RW;I1^a]׆BB$\mGuL_ϸW+LNޫ L=dzR~q6 a\`DcxtL"DgpaDԏ8J*?,k@BA̦!=-TvUhǂs$.Bc+JNA7 S9<So\Q8u@@bGp(Ĉflk ۔&+H<&({%X17 *&pK^þ~ Rxgv{SHt5_sE/7ԡ6ÓS$'OG ڼ{ ʜY.TA6r=3Uɶuؖǧ;K(WL%Ur$ypiR{[<ݾw MW|ѓ?a)3KƁ`.fԢ] "~#7,@|$#[ Bp),'P1 iɥ}b`'˗Z l(M(&^OZN{$ԁ\햼~݋hjb49 uIc7|6}1? 6r'%;)np 17c!B";K5EX6`gfHPD8 dƋͥ Nqdzߨ7xW\QEʽmwg\,(lO3P:4M/R&rWkJ+ ]ok^w;'Bnevq+c}ң]_{.CCCX%+će ;]͌`3&! 3d ܣ:Q0kp} .^ }XORTkϞ oi_et/~K^NrulGI0!@ƕ p.?&"qrh KZPeڟ?Lvh7L/ǀlP۷Rbr+DAs䫡 jS_XD8g `%%Q Q-wX2*oara Fdзe@]j[ Ƽ5~#D!1%.Mc[Y|0Lb#FUA'6QqSw:(UcNHg߈k*qdJFYSbagk0n}/5*9kgtC!ee_>!=r_sj`أ