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 uu uK\8rNKt2݅83;pFRpɡ"zK] /&~a|VG/ iʒrEФײ޷( .DDž"]%m &gN<#2"BG;P\lGibZYE ߟ cf.C,&8ə4"yHIvwgHC|GO}{* А2ҦU-#)ri=}%? ն-@YRYAaQ]Xc'փ/'ejա=K \Wc ]7KF&RiHXjxECigRM?K*a_onыm}O`<#E?cx{=+LHb|W t9-[+c![q67߈mnb{{5z Hb r&@CYQpuQȒK΋y0!?oa"׏)]OxiB'~o^jJnoF}J p7F!E;D&X;20wni !pIN 5덳EڌR`2Y_2'?E~Ţ */̄&Tr X/X+WkXaj74 T!'WEʉ{rD7vvDQRV&=^(7 KJ;]ڝ<6h b7Nk`g +wX̍(WMNLxcTpW;0 d8$,UoDʂ>SnhL e^ssON_!d✓{~v5UXq1zYNEm>,.%704jA/DߛI]Y-dͩCS: n $ضMA/ܖ%+\/J%V|>DUNҠii4. g<D5q4O~;6=ęAq`t %cZ'ݻkYW&=10E^<*~ȹVȤ~#"Ju 4]o>2doL?`t+# s,} JP+soq.ICo1\o/թh]~C9խN̫5wI E-Em m0\#d{es9\Xfz(]ۥ>ͺ ȥr a$ E?*2&DcEЉ8>hT߃v6SyQ$YE |Zf:)EXkEk5+]W{<ٮ4^ [NɩPXv !/9f{ds-صrȀitt8k]-fs-;]y㟫чz P;~*墴8&1xIGcW6VyfҠ冖n[y=p} 6=Q A"ex͂mc}c:gqIL7eh]X yv~(z:NI<-w= ^A$5=2ӹ-L'N;(^Lq]swI!6/=jV\;i'!>fsq70Ȥ*nJTn E0}BpP Y=VDQC[z=$XWN+CbtQ`@t`0 b .'.=w+v3d/w<lf.gvdTPq{6?7S{ScҚ#qjȋi/нFBqPH$/&3ˬwQd|_NqXԾجL&*@ Hi K,3B}SE,!S;𞙡\-K`4: Ul6Ob&X j2CT5z2^BݣMF+gM;czlωeb)h x$| T*MSGA(G4^ O_ZU"rkhט\zFqB(=r ߪ~8=tDen5)>Ƃ\+\\q盋Jit ym\ <:Xm]XZ_jO,15bqWX΀.J jmV)j] dvz)@AEY8uz3܁Th`HMV^W&>Oy=o RMȫM~'fA(LഐkAEj[J3.]lo+O)KW5\뗟81!貵c5tc>㐷BXDP:4C^B=qRKMB5m;^̮d̼/:U]TM}+bQ!M|m@ sc;~?wWj!״:B7   HOL-Bali꞉?@@&lUgGl<]΄ZѩP_ M_P"`m@ 30x! \媋a hFv]~V#3K?^ b˚eГcH],7:Hߜ}Hz D)d؄ߵQWYO!e),=  T6Ü?ͥ2I]ZWR$ud2^k{1uG/ݬs8:ZJd)Es0[bU {՞ҫJ:Q~5񏎻GZ| Mܒx\m( 6>6R PT?E vL1/oU'< kJ 1 z2^^\g%-*_Hw5 ˀd`II.lk(; )0m?ފ}Hhed+a~A(.TDWGTK>LAV%7u.kwkUzW;.6f_uMaD "~E{~rg{8/ʏ2mu+B7"#mdd䗾ԇmO#g>XzmLs+Rol-&֚LrQG0x)A ~%X4t4K.~\&!ִ.Q^Ơ"\QEo[Y92.wa]×wLCy쬟& Ȃ*=[J&v8̴P=|zgA dU:Wz`;YzgEhH:؜u-WZE㟭n_RL~c4Iݞ,wM3*zNb^: }6G<=X`"DxBfcVܣ q!(_W xY&.IXa$dHo3P\Ϧ؞`6|Yj!*xzR MK4$D9+U^ɺ[?"y_/aou&zt̕w8-2+H:U&ಌoINIFcnѠGN37$L~U<Vq8  |h Gxb}PFDJh˄RT?+d9*S`فcͮyjb֌$ XgpusUәIqbäQsWi-#J:_:cà2ӍX5U./z\1ft?A)Q'`ՈaY}Rw֔ $=8WgJ ,ZOڳD_8+DJR(QKƹe5XW{,XvRaX7 ܷ@Lfy4 y@$iQo LmcD 6n8e)Jܷ߸ْE?v+n@zŜp;ݛ]v߀ne4M8͔Mƈߪ8HtgXtGE ( ibIV8-+Vg`mY+0B䓄[b$J7F(qZGD&cFybVWNhQx*`[ts܎,3׼Xǔe'IT {ILWRu'Lϯࡇ1Zsw}jŽ-,d*h^:5| $@6.%gpiP"07ɕJj{ &2OO)BWSL͘˵v&[=t hXpDU=B-y4"8djƠ>?O 5v㉳ c~ըt1ѝ2wߪgc%s _\K&j,+YXǧ}XM[Z]*cZ%~Ň/{'P#61Eg:QV*.Lyhq`o ) IDhzX)Yb:ga䟒5l 9' z<~'{1="$xHHΏ^6Xi4 j>$zƽ3nRS_|Bs'>L\0_rL׵GFVU|+h~%'պij4 K.Jg'WUw=vcpބYZ %F;9"Sc1r9(vhURSaaHM'OD5W#3yy{Z$%Tߘ=WBϸR}}m-hW?b MQ-#ʽgYZ1d61bd41b7c5765c7c22059ec139e91e3a8a273e 20c23879fab5e4214a9207e09f84cd3d6a73ca8c 2ba4578a358ed936409c6899182f2f00b9dae79d 2f3ff0db0ddb37d3baf4bcedc2e9be8a010ecaa3 3299e28da33984c23c8f4e0a4b6e4c8558353d3c 36801034d896b236e7467230dac165ebe7c0b6b6 3fe4540cb7413f9f901e99af65742d8209898d1c 52cf19753f4cc101c53b9754ff163bee7d6d51ea 72cf4d0430de6be55dea6de763c19c94f0bb40cc 7968a5176659b1f867e0923f4ea7bc1137e1ffe7 7ad5c05a09593310abdc9bc7f02482d84576c05e 8579f972454ca757444bccbab6239f4e8af28ca4 907f38f57a24e3620e92135b5c8d8f10c7b4ee53 a17513be351693f499b4d2c77390120fe92cde96 a1d0adce50228f8326f7d2fa6939b26fda4e05a6 a26d656cd49741a44856501a1b7f4bcfef40887c a88ce6213eeb3d2840cbc183a2ab07e64fb1217c b8d4baa4d8f38e6a19185afcc81d737d475d5390 bacb19f11615a1099e691d34daa5ca1f230fc048 d12d3cbb1172f36a0d4aabce6f3d42d9d0b80475 ea3c8c7803625888c491700086ab8c690d645197 f18332bceaefacaad4deda93cfc03e73562bdc17 f216e73e36408ee403b664174917affa2b5d104d f5f9986aaf2dcefc1777478208ee4d0d0dd7a5ea f67fdbab3d4d839e5491743ee963e2cbe0513ab8 fb8dd87665f0aa09f8e43b43caabe77d5987a3feb7a9b2dfe4980115e308a4222253abf01f3cba22 ac0ee46d42a46b8d0bd5ae0397e22d107e7ad682 026c9caa8befa3a67feabd448ac9fff1276a46a0