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 + DT !%]Simple_Firewall:threads=2elapsed=37.085cpu=70.776gc=3.356factor=1.917zXZִF! 8]ŗXf1-/6vR[]~~;S0ɞ{]lk'?pD ؀2X/]XJ~jW?^:*3oll[QѿKL>y__r@`!}"U; Vb4_&s8: ~ۊC詍&A&1 ~;N~P8T1WC yd.9&=1My(@X+9{?7xmb:aD?Sqm l  IW=D,(xxBMֱK%)hGOWK_6^`hY‚b+: F°mCM^&U_(fgn>`4;\ 57'ڨØSgNIȜbQjԽW.Mq4:Y + Simple_Firewall/{TΣ-Y<?㗪y̖hy(2dClNq|3^vtSQP xrZ0W joeGn;  ^T34(WvJ#.Pp\u/=o\U8F"iQAgKhY<}'$I&,RVb֓opVԬ9L*ۄ(TMJwJ>= cBR03pcjooFqm`1[>BTgSƯV΅8uAG觭F!u,gc`A+9)Ӹrh,'g Rݺ$&7@M Ѿl[*2Udx1q9Fk^I2Px6QVrg!%x;xyWc@P'6CKǏYfYepʂG_@e͐ cI uiVMSmvsޓi`Tȱࢬ(3#p r/BM<"krHjYݨ9B<6p#{$wݷ4Yn@1_F1Ѱ fΔX}h kH!#T:;M8Bh~4JFNJ`U s.[;ջ|X#8}Kk# ޹.k1BmI3"A_ͤL~wJvOːC[u:q룎 nax"+-F(>~E5YAC} Dܬjyj/}km:ԛ+61Y2 qR0:+ X7*i2"UqK?hinfmg76DuO {C~w3=dqS4 ;9')ē)u+uQ KT@: ZTpL ]+&9Xx43 Pag?@~NM9n0[{cam҂d`X6wWUT}[ǥ1x\8k?ħϘ+UXG¨p /tv]r/˙! #Y9D0 I jlӓ|،@Ul]);*UNF㣥$]T[i dH\`W6ǝsĉx2IµZSX2|ڋ|kn}Aq-sF ӌtb"G5مld9eY>Wŝl?k;% ƫj@-AfGұHL01V?C>8(xÆ0K]2f1ɋֲءQ{> PՐBp ")jiN:On?jqR:NUGq4bs%V &\CP~ YFI ٹi; bILc8El;8`3PD9NTj[m۪MPrɭPw'GػuNFd(l}Y0c-1㒬CGTR:wB[hB++DZKq\^f5b{-Gv8yt6FvD;WQK=۾h:P2( *t2詶=nBȾF@W0awsq/m]iH`\4dr !ƠK㊽F]Y%]0}s;gA ֮Ww!m>osj/GR<[Zp1٩E7N̍+Y@pǔP"Q9;sHd,/ԍML‰of}@_" 4бq hA0ǬxRsOl nKUIG(dGF WxO|.SQlF(j^v3X'/ ւMU¤dKg{D=33 Eɗ2O@vU_GPWQ(Ab $%yߌ"lPoE;Bp^2KScW+sˊȥF>|e[߀Ve1 4xH .))[O;KLh7ⵖ 8k)R}ٛo[C|$t:|6k}(X:%KK_~e` ;6>*$:ܸ^!@ P+rDsCO=><[bߙR3 AW1|AfTTI |݂ln_IEDt^T{FG+LAb29`q_ok*lil@oU$eP9bYClrޑ,ZjhfE0O5&WggHlT*a6LQ8J)ٿJIFݿ^rIsl{BYy?(~v^|'[ iuK,殕f\/ z4lPYP*=58?䚈 +b0D!CCAst:^ Ȱ-'BPʥT^XUa31}c`Q{l|}8ugc:v ),ฒV_9'!Ւ\m Tr=a%CiSfS.sMu0N\YV: [ޚطX%Y+~f5%.ʗ&Ԫ|ǿ'@?{I-}/mAm{ p;rK۳shg(kKў>ώA.X޲urԔǓX3KM6` Z>FeA)cX>Ǯ/P@ڄLoƼW+_|t"3J+?ȷC<,9Y1xr+(*8}jKZ{6֑IR0>$3PH|ilK5'.dY&| 9l.AL69>Zx$x]eXN|32hA4id'Ux}ybocc`d{:b9L8ș5[+ 𷔢L*}  .񹱸]\iwZ6I{QbJ ]26/z|s)ù@ }v[AC q>.)ڜt{z||LΚ#YVKԎ搕]Ԅgq;e|<݊NP"-ǹsCՉ.nn0&Eg< |Eq4&fdm/QK\)"E/X!\ ck_%2Dy3ij(L\c<p V ڞ}%i}:`psV1v}t69Ǹ:A}V *F|*jA1 (Hj $AػV$t}*iyӘ6p'. Do `!hfr\yy')üY:aM?vY*WZO Jxe<Q "h*B>/i?'˖*>$h-ࠞkT jx+㣍eXb֐uT\})vmngktܗFv !,h6d_{:NHLe ಲ'gjC! _ۚѧXCݟ`kkP&y#E$ I#ד_y!?\krhq0ϲyPd !]S2* K66CRn|(!^fj[N*"GmWccOOX8/.YyFr{{Av8] /Χ#K]y%ܾ]{P*`u5H-;2πSd٢m܌f87r_o?nY38ӪDL>*4 w[0!Wۚ+nň',*F"kɥm9s≧6-X}ŀ6`[rه7ZS?0f94K#̖&(&>dJ]!K DrݶG:0b)0 YCod9;~ %sĩ hr:GO J0Qv8}s^殾׸-6ڱF]g2DO8c&~У7'ihWZ3ul[);RAI+:r\QiW(ahV2 6ݺ@a+x niҸuoN[-)xEh3yqo`ުVΞJ%؆(sS2#,o}G ]a=  b.ehSZz\nfve%$;'OR%o[sI~+֒gRf5Q?1NfL\>5UA恄u# Y0v&\Scq#Q,8mmI{{7OM?<ѵ!\zƀl{ʦ761]Vu0Rsʫ̞srj||4m#6c#q/aÌw6=DxpT)80K؜{DG} QLKf#ڜDfSԪ !b aA҅\1e鐉$r۹[[YָR*5œK[{IzErt4^v9 !U+͡WS3`l-fӌl~$C35GL=9< 4S S8DՈIVV)x<-օY9t2÷f1V`'SX9;k6n$(<1#e;̹b>űgYZ027bd0aad9da71e92b47d13cd1af7fc1e1cb9189 128b40fd534163d8c91306405dd839336dbf6421 1d358c05c770029d5ef42fa607b9b903240fe539 2865e9e5bb779efc0d2a109bc2805e889deaea3e 3488936885f842ab3ee157264e285733cd6bfcf3 3a57ce0a51d125a422b231e75d59070d0ddb0ef2 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 50b6c2ee01a7340e6703cdac667b291dafbb903d 66ae8e5f585f8c49c88c6f82efa6420001587741 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 8423f71a626c72553c9a74d758e57793b96776dd 870bd6cf13430859ffb7b73bbb272e778ef02e14 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d b6158350ed0881811cfd48a176b9d6b3fce7a387 bbe92b6f64abf66bf6cbdc4713ca5854710a39fa cc3e01ff9b00cd93c82a99f22fb1d1992a9825a8 d2148a089fd494348229bd08d9ed72e7b2b1df133b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd e8406f0f82d10dd3d2e880b9a1f02980a34fb688 5e5eb96f6bd6795a852cc41bd4a377d8db222acc f9b88ef8cf052ce29cdcda7424b0079b135e475858fdf6377df154349b491ec705ce809f69db708d