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   m+ Td !%]Simple_Firewall:threads=2elapsed=37.358cpu=70.344gc=3.272factor=1.887zXZִF! 1]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6gHH? Mf0k @becg0[ +DQ\x>l9Nt*7.A)ȠSf ]OٷaN$Izlm4KFAХ+}E83;͋}@(#&FkF ڪDƜsPƦʔ@"*k=5]Xi1`ă;d:tat @~)eAA8/+TKt M/:}!h%>plmѧәL|W'r߁sNKT$dz`lS}+F᫣H?1 Ba F+U~يAv6$g)p{@6 w:2vBaNEʾA+bA{ Wg|4S`m\f_e \4UuJDΚtooL!zH FG0)G W;X)Qg"r^/"? h ɝ󂫢Xr + Simple_Firewall/=;#VEA~Qs e2}#K9FpIiLGRRvx5~+ND'v't Ӽ5ոvnS ACLX8X ظ:8Zry'h)v(Z+v)P0a,;]2x3T~U#av|S*lIĸT`A"=U^:J|ש$xr4e$ݰ%I2\wCXwcC|KIZ!gB/8+X>zlW\:IpCJȋK dx'N懄Ҫo瞁Z9::_ 5&]1YIq)Z=^= jD)#Y,)F0[x襅vToN G*Je X[Ŭybw(AkKwyhgC{Ӱ8Tx !҄ݻ &[:J3j"J-?TͲFM44l֑~EJw҆r~Fn%Q_INe Kt։H??oƔ:!0/ cn~TgYZ7zXZִF! $ *]ŗXi%6aejNl#tbxtx՘bf;b&LL?~"ZSJ{Z-:cN~c[+xn['y8{n~?d5^cW=U%(E{ha_0{B3R}>9(ٴP5.i=CG¨UajfrB&9 )N nu]xn=h{߃v4.GRRRND8ކYkIw R2(8*ް2 6X5+{~Vʹ4wQz6FS6lC8bOPφ /^iɊip4fR~Jc#<}oP8uI u)ԿN"#w$B@ $εj_|P_BuAnũR:}U`P$jp~EH5mD]&X5cTӁ_._WIlp$.|o)C Uz d̷4#.Ѝ|u?-!@kӽ{ݫAQLt>n}衋s,9$ՎVņƼvBEtw$#*vX- n$/7pxqnk]N߮Q]@J:J-7je5D㠲2qhZktspmt[& ~?[w[U31pR:hWpM [mb+>2I{Z,j TH?{ i3h,}x$j^x\U6e,>ޘ3d`lwp"~tߩzJEW0-kؤ,IR4V1{&o8RPMen맡Za+3~eT^i!XWbnpe_6ļLg{%bo?Sw35k3I'JQ^_P ;ȤHR{֧&>LO'V'2Qဆ߁>{'S q[fjm l6N#v/ePҾ'::pf.rRLyHn0@RE s rezt|٫}N2M#YM5`mn,䆋I:M,iaPMERT гRRkow \Mp=P9b7/ÇP9@T"j#s xo,b`1Q}JnwoV飤ZmpRK X팸B-NZ1eWB,a,[B] XPLTak9}`|,*UD')-jCi94VO 7 0B^邶 Y9Bb,4,6*~0-O5viWEg k Oo[{ts=28%GqS(*C& hJʕbbHXJ؁ó86T~.y=X9ǼXpȾF5{;Eoo ~P] @@ Yo3;9quN6[֎N8MHut9ծ!ӭlT֢3">im+ k:=Ve@e%SƑvy,a$ޤ(`aUJtn/iHz'1`J" =WG|R9N, s&>`^Vܿ:rI[^,MO:V /q'w:rقP?CF׃ЕjbSУaQ?^*yľ>xmzŻ WcYw&]#$Q9TvF<\_GY֯X{l1 ۊE呂HA8gYZ098fbe91ffd8d1b4da4e570e887a24cea658baa2 0a8a2966bd3b11bcaeaffac75a84b582cbf4f7b5 1285c2927bb6417a7636e8a1068560f2a2a130c2 128b40fd534163d8c91306405dd839336dbf6421 2564a07bb3d7dd828b0527318532f068c740d6e1 3488936885f842ab3ee157264e285733cd6bfcf3 4b94bdd688a153406a2014a3ed6a5569b2bfd348 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 870bd6cf13430859ffb7b73bbb272e778ef02e14 8f5aa07216694e1c17785a940181bf43989da282 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d aa5cca0221146b287b08933353c12a4b16a23d57 b8b8d6f06dd65f7be1a712358482f437bbf57d38 bbe92b6f64abf66bf6cbdc4713ca5854710a39fa c4c2b8f34307ffdfc69babd8dd1d5c8cebc2c32e f94c517de9fd467d9a22aea23cb18441b7520267f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 63276d11c9b06d2bcc64fc1b4ca336b68701f2c4 2b9699662165df58658d8a01c3ae3cdbcdf3f3c8 5cd025172c56badec1e4f76f33b80e9eb8c921eb52d6fd7f1bc172f8f447fc9679510e146dd757c8