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 ll  ,lT ]S HOL-UNITY:threads=2elapsed=64.525cpu=97.336gc=7.508factor=1.517zXZִF! /]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yy O'G{O8I/=JdbW{)-) v%|M6D|aj9g i)DyBҞ[] :9 .i:B5\.`(LaI=*SDڍ-pPguOp۾fgEڶMI`jRT]z` 9_S#3!XuM1;y0 #c屢4`15C-8YM;<|VKF~lYh)iNm|>ciF#,߉S7 L7E!l?sN&:B*<ΒR3!Kg 87(vk켠RYiwZnq,zB<(UHأi OKz߁/=Ujý•N,_W~&很?=~y*#b )%~j-.Qע&#=zK?m/kmU/LkYQM((I+P+K` Yo{fsh}3qFe+>v!u}]פ#&'rFHH ZS6N =augkGk ZRIp0_'50 &hMW ^y另cFoS*@nPZofI, X>g $YLls<D0M9 z~W'|:ߦ~jdӧ@Ƒ陲VOduQ],h6`WYVTφG R]W-Ou(8)U(]fֳNaHJ( p~u$>+3    HOL-UNITY|Etoq05B(YH㇉2zzLg \2P\FmiVphgfCy*%Lی;lzr6 f]D25%t͈[H ř8XR򖨚ǁ| <|Zb'%b:2'4z@E<7&p3RFӶd{~_*e$v{q! GLz/lq47Km𥞷d4ab,AS96;~ t#RF<~n7H0X#+٢X‰O٘ƩA,\uW>_/xʂIkV{.W^K~.]$z17jMxOICQK\@TC#4QQWYa+)8DXzwL{5ƩtUQ~ZT|x*EUM硯},BSa \x@r_VZ[Mq,z@qkL0.IvFBP%3*Ίgp+ӕ{(3J H*8(Jb=ϡ_1F-dxu6ΠfΘ;DQ-m_xϿT2Q(!cY52mvyL龂0Liu+Y0CQ}hrkB -ŭ;U消pƽ2Q9V(,τmШwDwU,^N̏y ,PɪB7({=MٯXǺo[_Mֻ4/ȑ̲.YS}1+ AYϻ|oc'=z k *CoxbʽԢ*1[^u᭥K}(@lTԫnw g z=(jǂ!:V+qUla1ouށ=s893h37jS\6㶁!ƼI!6@WUd+;Yyu%M'3 sߛq&&@mJR/Ƣ eW)JxKb4$Jr{'*^gdfW=1f>g2 c K9{K7YghtM "nIa sB6(߳pc}Ū"7$wu6gօy!$#xuALFyMOcA;6Sp[c_LW(Qy훜6F-a;n ʑ'O@=N\yrN?aԾUC.R^M-w H6pA ߱S|h*GR!j>tMDY$L$zM瓯XU2m7(}s;_4qM]1 | rILݩ)@!ݛWS%7ĨugsI?$,fv^qs6zu#^$t@r4 E|%ouQ"?D0TIzD_aXYHdd+ 2k)2 GPvT!CJC #nIk%gfD]sW&.jKje"74,lGn|pl| & yKxսƠ E`/}&oX/`cX@#ӛIUJ+!A-AH[O#u{zhhzT7ZȂP7u@M{y`pÇ4І> ,w2L9)k4oOhW#mït{3&8,?_TT.EDTD#6]+9ZZpݝz*0 RU0I@g'?jIR 4)GJX]W,P~bM4^2BQd2K']<ۓqc c(s \Oz;RI,P orP\- ‰/u)VF >rھ$BkNnrxh0%:xPɡn4ъ 5QuMAsk\uՠf;a|É~i:vֶ 31i&|wavCi` AP WVhyOIt}¹E9<"O:u`NJ.7h4 )!DJ0L2qlI{Ox/, \PAbdLIJ6o! Ew$V$8@F͏F~1jrp/B6r@y`э&Bۗ _ErIE|UѬN8=cD)1Y#^R qG!YY-E7g~&4Hͨ@gNM#bc:9oSzYjELM6{0ibqqvB _GYB}[y#eoȀ TxܰHlO=9ؽ'퓩$UGv)M ]v U9(L&rX.I R-PQ8z&T`b   eS?z.*DQ3g߁`}͘ho-gʼ BJm`:0 o^+XzЏ&q`9 HtmM"7Q: f3*ӊG4 OUZش)MhvPbqD*oOA6 #\d"!Ty\͓ptOsPJkA%mg~sfbj3nla& Hȭfy[3~7H5/}r?159 q颉 s]1~IQ6Ҭ>jXh9FG=8@gYZ002abe08e11911c451641869d8cc4a34bd33c93f3fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de d423e696cbd8052390366debb40bea8c4171dfd4 e805a0d89b53d2b0915a6868f73c4d51ce139ae4