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 0+ lT !%]Simple_Firewall:threads=2elapsed=38.252cpu=72.912gc=3.524factor=1.917zXZִF! s]ŗXf1-/6vR[]~~;S0ɞ{]lk'?pD ؀2X/]XJ~jW?^:*3PwGTd!~2_D gs_|z "Ut{8/+v.@aW0ip9ȿεsJ o]ߊ˦|?G`>eҊD}z%}EQLu&ZkC.зa]_C׌L 4dΊ2on*\t53-:ԟdB7dos"flX(rh៬L2mux"];Qt/8l"\P֬J=R~rv7ij + Simple_FirewallY\={~s17[ \dqaFvLA{la(? ُ{'[Rh7?]t2<Z{Uxe:CTt9ֈw{)Fe_6< X.L0K&wP{H؁}w9h`Rn7&_J>$jĠ sDj4M 7e\ USN)}Hހ&h395X.m{"GMX$Wf2/aBI&%OXLν"']^(pS;ƨ2-#/?ZekQ'ma7^΅%#_ diabH~} 2o)G%KXXBFh AؼY}f +OYČx&I$VOS+K}n\5|H+X0x; ǝWPFt#q.$e@KH hʬVDS26ߓ0~-&)$ews"GnO@=bش P^'W+$$chҨ+ 1@*iE7N/OxnK,Գy1M];D<7@=VQwT)KnQASHGoXW`p(6.-A'ׄlPБ[|TNT&)U#=a&JP4k^6 f[KqNtSnq48[B95*OcAa ]AԷkTM(T?+w<-M\ ngCe«㼱9~Q?kUHE&FX":U*kwBS\2/0X}'?\gwѪ]8s:'.əgtmtI&D*7nA}߶+~OC[,KwWiNˆY+DҶetvEeͼ7/Ooeڗz.iG=0{'YA|^OhkWjz_-u_'{}x\nf-sVo%SPK^+i p^&@3f;^^+aO&%}Ll/PI L ]H+] ,AN6ITT~1^}xfmW<#/@|]<-xȴ̲xKT{ic[o.ې))Q[$P]4l}cw.;94Hx^U8RM`-]1'.f&OH捶HH8>lw 5z?sgwST&/tck``׶ABKa3 獑Dw փ@f+hWœbR\߆YMG6&Θs -?9kO\?u)^)ȍ0"w8MMV⳰#[s[&=Np[ 2Kttxb^PQ)?rkR+ePf;{zĉj@3o%Q%0^]0EO}[X8tàn|o>cc̽?+γ <vs^$O=sw &'pG9瀵Jq. KXfdR!u&d s"9l4&BhC*K{rptTo? NDgyNfT:䜔줹c$|GJ|P%8T4a,^cgPH ۅ36iXřE͇}mKmr=6fdvCO]8|J`[ D,;#[k@Wyd~d;@0`LucVU 4bJK8S, _%2c/WvOꆲΙTU 2T4dL[|2?Mߒg,:t) i$\a;8~ceϊ =Z-y\צ \۩"\i]ҋ)N1qlh/c&&x M2$)c44G+]/'Ƒ7w?ٷ^冝 dDͽ2u1q>4^;c 2#@W1-`ɌpqkBS.bVuB#,:LZҀ]Rp Q*]E$'ujBiN8tN˜YO!j| -MD։~#3s9f^R"}q6/Cﱌ;o.-D%ڲZt~?\~Rf\maψi 5 YwW: Ty N,sY!n h*C_ۤpX = IQKk(YA9J6g]Seelh)g3P<=a:4}BiKԎ3WD$JusDɇx=4zmU9o1f>TX^wDfoE؁T!}$I6 a獄:4 gzsޕf`J_dmz/nt/M*Cx 2ި=-Z}YH$%A!ڸSQ+ڡ}d FY {G/2'0nJ{{i tB"Jzz3g^'kLS:F'mx\P\b٣`kuǸlB0l[.2M}bJyR@Ʀx[]6MF1,:$]՜k`^qVk5 TMNd\q.q+U=x]??1-ctoFHIq(=?,Ku^s u&uT療U)'D|PgUdMם%>n.μudq?C03XJc2?H?|3 `ω+>P3%+l?"3 z哺kЮmɘ|YW j*CHi-h떼`QEK/Bo3k2Qɖlک~C 2*ƁwFiqΣ<- b߾M[srRQr 0.|"[EФדagi@҉M/WE'U ؠd$BN9){_꫄e+@6@(X؉ϷP]ZJ;b4^A`9&3nˠ()bJt6byZ%UUF(<VY'Sr1sWGg왚;D2QN?uxg(5A'Aa RU>1ە B1G0O0Rv=TuSA|y'bƐ3!d6&<. y$%05(2~XQBXT(Rhm;OyS5H2sP6=LdM4xcd#~1 /,hvDę+{`&l]ݢ`a]IǴBOHAwc\|WP0Tޮ-`@]ٍwxnJFAx]Q!&}H`Y\爙=5 &wRK-QL92ȖYV%PsTjwK*_)?He{NQ1+t/6TތC; ޅ54?X,&-;6)u+}*Hz/1'9O /y|.F…CGN /(v?L:FX 6uqy}fțXNܭUT=PP g {e}1ʈK y o鷪0^hf4({KO&*0fC8 :>_WI`F[n7àI 4h!q'~ZzdT7=eG&.)ݫǗ{[}#j)psϋFT'Gi]2̆wI ӫCSHSԾNj8mH]KE^кl[ZYSs2WŵHo!5޺lPEH 4oW6*&0`DE_TH׶IID{G,kr.$97=rxk ڋUT[&=M c<%$s~+|P59C+vwGK܁_ \pAM,'0$R2DWg6Jff1_eW4쨧<%(><\mpnp^RAjRr9MPo4"!zEE _wF.?Gwg+m6x97>='5wSs t ZbV[*x gYZ027bd0aad9da71e92b47d13cd1af7fc1e1cb9189 128b40fd534163d8c91306405dd839336dbf6421 1d358c05c770029d5ef42fa607b9b903240fe539 2865e9e5bb779efc0d2a109bc2805e889deaea3e 3488936885f842ab3ee157264e285733cd6bfcf3 3a57ce0a51d125a422b231e75d59070d0ddb0ef2 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 66ae8e5f585f8c49c88c6f82efa6420001587741 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 8423f71a626c72553c9a74d758e57793b96776dd 870bd6cf13430859ffb7b73bbb272e778ef02e14 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d b6158350ed0881811cfd48a176b9d6b3fce7a387 bbe92b6f64abf66bf6cbdc4713ca5854710a39fa c4c2b8f34307ffdfc69babd8dd1d5c8cebc2c32e cc3e01ff9b00cd93c82a99f22fb1d1992a9825a8 d2148a089fd494348229bd08d9ed72e7b2b1df1380f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 754cb880c1e7be64f08db47107f67d5d77eb52a3 34eaf11ec8666ae8c8837c316960c7701cc961f1 a5e1175f9dae7d22dab2a4e2bd4696a2d017770c5b5d8975ac7c84e28fdc6363843ee2915780bf93