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 L+ \ !%]Simple_Firewall:threads=2elapsed=36.612cpu=70.864gc=3.320factor=1.947zXZִF! ֣]ŗXf1-/6vR[]~~;S0ɞ{]lk'?pD ؀2X/]XJ~jW?^:*$S5?YAq9[5m_TSuhJ ygvف4691_-W@^zݯH4w3LXWvI}nX![>)Pk6Y`G'y-)Oelp]sWxH2fCsqa n)bѭs6i/277Unح`ˁMr857lm{U:̬o]xBa + Simple_Firewall=Ktgz} !VL[${GěY3w,?:0i_M;Ȼ,`"x(BhfXۏŘ*w o|l l$aly6)f-b9WݞLu)Cz9S\H9" k3>%ر&"X+gͻQǤF4@DOKXV3\ H,% 6`5{6AVY2UI((hXيP߸>{\k!}@x L.坳dP6~o:,A; {DӷH5uTHrΠv$n P;FEPw9z,ɝg=`yc۪6eB_..j~hužܰIA x|YúpSHNϾ5uD嬭ˁm(aqU%kuveXׇȟLX/!OQ*NcIrY&nK.T!ԯwb$$e> t+"(!,@֪9vS|Y;h1GwQ!IvJK/nOi؜y(C{aBU%'Y*=V QG?fvsu>yG!F[5 !#c#cX$uJ@MYjy3E6b o7ekpr3hqIK`FF4z#`!PI?e搴z~AW;ٹbڵY26Ԗ*̢6,L:{ɡ:5#kc* *8 4%XүB3ljPh~ᙌAԎ*aȗ7}ĿwYl5%>Uwsvۊ/3rƕK7l<(郠x*|`KA~#ȫÐeeދ*g<;؜KCvI } q66捌Xo|4 O pzORQXz<˟~tIdmn<ߠ2>8&Ԥ"|gP.`bg .21p]ᝈ>_kËth G,6 37Ⱥp8$w,:!ЧC܆#FjCYc1FKDA1qvd+&#> "Zt&C<6kl)] W{b&y7j_μ΢ݘPS\>YCx 6"{ Z|ǰK*W5³_A 2(r,x  'GQ%;c֥"ԭIaK1ixyjP"PbGWn 30h!*RzǂXNr.J )Mnnh_vO9k'* :s媯CB00l$33`tDMߨ1|м6'pxˌwP)T'hj0<㠽HjƻޑúnRߧgv.EiED9'3d@cm ;](>\hESKUx U0ݑ*IL9.- C't=:Nw_M(Ysu 6/ߜX ݞ{YVIvF[%}F+ޢ$ey?rkVm tu#VT `4Z 8 QMqmGڡYl^tU9xX{[P."P 64w[um_~<=w[^8s9b0X=Rxtz\ӁW 7-0#vQVL*xLA2+ʪԨePX/o'g+'"!V>F 2nS [[ٮu&7keuLv4 “u}wјiVv "/[`Znz6]' 2MZà/u {6&{v}`,ky29aхi~7$VMzdd{le@٫WQ9usHD軾.)ss {C"f'u ! tZqS1CN =_sF_-ۆ-n$UšpoWhS"1Ջq`ə<qB/Ъ_CҞNz$փ>l|GЍ“r"7Il&qWS&M1hRALwz i㢮GhLѱrœ*88sUHE87bXxa[Q!}tž6p]UɛE0}Qh7^' g MvW&KBo?Iߊq5KU+';MmܞzdKOGJ:@qzG,Vl-*&aIg_kG[V+ꟊL"pC-Z1ivON/#5j1j-{5;Sp5z-ǔYj4x~GbAaA/ _!["3;wLRމgJI =|l2[ &/"TbLl6 Co(s=?IJŶyi]g!˱gYZ7zXZִF! g]ŗXi%B;.޶OWy qG+(a}C醕F852&Lm_V8CAR&4 +!W!pFY7yͷD `_mކƙ3fB,DJM|/1An/Z<*e-d^ǣg0ϧp 6pq/[Vi v{%:R~eMA!C> $FcRT `~T]}z^-  b^:]yw~NS.Xli)^w}t zW`^:j F?t=m|d{҃ìwxoߴ%kS<ɇX6Ax@n1)Rs#BSbL, G\߾a@2|v={$() iTy7SS)fȔ'JW?rM4$ν}Rq'aGe>~;_rø8 `ں5F{E^;ADZ{H/ɶa\U%tt;uWr+"z,pjZ6ƒ(-Rɹ WN7[M$g ۱;_LZ6]B&6}#i\u{pjhBO]y?TIM ݱ@c~fw5zډ}eZ6Pa, hɺ?PWoj|S;# naA>h0zF*9:r cCƇQM;49Kꁪ! +rv03\Pf ͫЫF6!_Fz8SխcO VþoW-a&V5=,WwPtfǠ)ז_N LqOҠNK?% aĐ#;fa Qy;\S>g,VeܿmF* ̭)$ɮ{ e@o &DVu| i.̝YdI+HKTz}gIJQ}vԼU2p*VWFXY6BOVb(%]]FnLuSSs/&=܊[f@Wp[I0srvuAqɆ@6Z:!jߵCjnpspZB8/oN;egvz}6i< 3Bn{yȵtnNmwoѦ:L>lJTvD~uum 0S& NO-j؝gYZ027bd0aad9da71e92b47d13cd1af7fc1e1cb9189 0b932713300948f5d27bd8fdd95ac10bc24b3703 128b40fd534163d8c91306405dd839336dbf6421 1d358c05c770029d5ef42fa607b9b903240fe539 2865e9e5bb779efc0d2a109bc2805e889deaea3e 3488936885f842ab3ee157264e285733cd6bfcf3 3a57ce0a51d125a422b231e75d59070d0ddb0ef2 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 66ae8e5f585f8c49c88c6f82efa6420001587741 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 8423f71a626c72553c9a74d758e57793b96776dd 870bd6cf13430859ffb7b73bbb272e778ef02e14 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d b6158350ed0881811cfd48a176b9d6b3fce7a387 bbe92b6f64abf66bf6cbdc4713ca5854710a39fa cc3e01ff9b00cd93c82a99f22fb1d1992a9825a8 d2148a089fd494348229bd08d9ed72e7b2b1df13d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 d57bac779b5b488848d380f44507ec94d26f5b25 4bab39fedf83ad3acd2ba41ea58826b374c70ca6 e3b0819b113d3e80741d6d6323f9ac8d9a1326b616a104c7366eddaddb582da2c272190d38ea6f5f