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  t t+ tl !%]Simple_Firewall:threads=2elapsed=38.125cpu=70.160gc=3.156factor=1.847zXZִF! 51]ŗXf1-/6vR[]~~;S0ɞ{]lk'?pD ؀2X/]XJ~jW?^:*2p,#A7¥;V@| "}׆s"oil<­=R; &P}mv֙ x5g!a)(Zi^yM"*Ƅ6A-_v-"Og›3ٿFa^Q5GzE"k)2\U{u2y~5|GՈLe1l3Z f"~YCvb<(CPh0E0XAu /vx1[rY >&Ʀꕃ#I3Va2o.\z4΀Xpdpu!mK:4N:a6)ЖK5َaAuF]9i[Q5%ʇLf4kZgM ?%4/ + Simple_Firewall[svr HfypΝQ[W}$d{QIRs u5bKy%NRM;sPkkmHڇ%"<~sI^'QceTχhx{е2jcU7{zQ|SWPʴi Y&ksU,x,;4PJo;^#ykK2\;RF0Xs5 7WkD>f)?r7Ȅ䫊 Zj~MīFZc"ʯÇ͖o  -G^7dۚU7~Pe'ךXz#}؈$^9wx]lWV¨bԿ>iRSM=c㶉3C})8%.^#\Xi!U`ZY(_} 4G; W,߉v}%?\ul,a9vDPi 1`neO_홦'Y&K 7;^ 琩jN8yiQ~!rq ֡"㚝Zs4 !m7x؉c4߮ Cq++য়SMpw2 B>%,k"Nr5 [+'8=`l["!nm؋9}w? #-dܣ 4ջ @-ToejSё8+-z8C oc6vy$dvB0ˢ"v_<[pmSq~Yn2*Hƴi Y,E`9ސAɭJƟJ+ML>uKdUFf( Z7R㊫?k/k0(Rk"zbU._<"dq) EH~/ỏOte&OIOU TwkkǛ#Ǽۉڶmcs,PJ5)iu१j{-}Gϸ|%)(P/yuDIɊ.'6h#424 pr~FL˹X֟c|Ȭ]is,+vNX0/b1ZQb _)SP\e;C7CB2mi* _ #M.. pᜊsT⦟'* q<"e峽L˂AtJٶnْTy{&6^noVZcfaǧXS6+}=z(,^+lHl3d;K P!\[#/p>2lUWl@00=p i4ȴ,E݁#Q @\ęlF_0Z8'm{č<̓7[jx :]SS+R-'Oy0О_)١%UO4O++|r*D{2v{IO۫^ԅɝINSA|oq^vD-u6^]=u<I̺M7ЌV"Axf)&_9WHzTrV{[smbÚǢk|v%gcaI~8^f"M&·gYZ027bd0aad9da71e92b47d13cd1af7fc1e1cb9189 128b40fd534163d8c91306405dd839336dbf6421 15866781d7ba0481c3b83d429cf910dd15b551e9 20555cef9603d417c85ae774aeabfa7f164c6b86 2865e9e5bb779efc0d2a109bc2805e889deaea3e 3488936885f842ab3ee157264e285733cd6bfcf3 3a57ce0a51d125a422b231e75d59070d0ddb0ef2 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 55393470785bf37d121b295174f201e1b9a66a39 66ae8e5f585f8c49c88c6f82efa6420001587741 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 870bd6cf13430859ffb7b73bbb272e778ef02e14 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d bbe92b6f64abf66bf6cbdc4713ca5854710a39fa c4c2b8f34307ffdfc69babd8dd1d5c8cebc2c32e cc3e01ff9b00cd93c82a99f22fb1d1992a9825a8 d2148a089fd494348229bd08d9ed72e7b2b1df13554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 f3abfffd5e9fcd04bfbe84ee6291a6c45296b2b6 9ed9ffbfa941919f03d1422f8143b76efd2eb613 725416eeeca53b10a8c7c80baeeda185eb7566fa6829fceb14b6727461f88a3f1755e01fb5d2c6de