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 Q+ t !%]Simple_Firewall:threads=2elapsed=37.773cpu=73.444gc=3.568factor=1.947zXZִF! <]ŗXf1-/6vR[]~~;S0ɞ{]lk'?pD ؀2X/]XJ~jW?^:*$b#*cTG@ciA[~ #zٹo6]M 52q^/p^,>$"z86DEoboN`auk^ 3R8PH`/Bܑұ<K985\R?ΏRaBc@VK3D:+p3_G MeY Ok1!]fbQ@ VC3mh׬svltVچ ˑR_|;6cǬ>![誘 ű}QժL/{F2=do3V6v_hjl=x$\zJu[;с@%ZY6EK-36dW1]Ulg/^ <.2*랾oB99 sj `/VPP0eawh_9kg;+VTn嵝sٛbI)[Cr$Lo1#Ì@St~:Sm'ttҎ=*7Ʉaap Xv7Z2jta`,~_GMdU t8RHW| (p1 9;nc7;ŮT`^ Q LF(RSڿM$j v.Ki,Z7F._0 !y`lJܫVƊ녡&G"[qbmQ]:7.`Л188 v\ͱ\r 3UVq͒:J8b3$O)@A*$ӑіoא/r]/Il;"pۃ:/8ӐLUV*̲Թ $E-ڝ ݼn3q03x;U\Du ^K$l}3a*F:+*M6d%UX`8"i2vhq>Y;΋1]Xua܀sicy/ū2. >Z"a)1 +}7f)".,Wv0faUz[GWhěz6cѰLNХ鮘pst*R (f_ yEzC|k-uiĉ_JM֖ ku^`U\|>l[,ĊA 1W09OaZLXMnp.zadiJdy+ RX5Q6U.n)j8C8%A/J:,dR K Jج MMw,xD[\fyЗbƔ<ʤp\:į3Y,BÞ%K/.\' a^XzQ RI5w _z :})iX{PA @2k;%Ps; -<&bW%yԖ?PSu7=K;fBE""!]a{Qpag]X%G lgA$m#Fy  d[#J ǝ*dÏ~*3-ve+A~ѣV ?HZ8F4M'G򧴊Pțt>I6-!'LKXtiw*"!xTK}vJiӳ.)WF6R=q}4zSr͍B'9 ran (O7i!j$@<=otXz1H*g,%\y$jh}e |&UT[-Ubw2cr\SBy[jv~JH{RH²憵9hH@g cEO [͂D ɸ37  {Ϫ6‡njFR/.h]3 u.geҕ'-7,_4af'rSH.Z1Q$^>2aQ5FWcVD/΃[ĸ΀cG'o.˴'kJMXOE߻7+ ʯ/+ Y)>d$zG_̂h:+[ /`Iŏl uS=e2{]APw pbԸV ~PJ)|/!N R1dUҷF'DBVC%6s*BOIbH&QFg>5Z[&ܗ1ĈD1߰hc$.2 Hw#pesRS.e-{դ]2PQ/dv ָmDЁ + Simple_Firewall.J.hcG@ ̮-r!gZ7еVW/jmNfˮ]4] 6Pbi ǚ秘x6WUU}XJ: -FvVO[K8q5HO[l5OrП ` 7)M%yk[6t3%3Z؉4J?s6x`O8Xݴp*s̭k!v~.ߣ]?sIIۆAz:kyeʀey&8ظeQ>r3|1sO Q3/?Rl¢q:kdl8$FkS=\oW1)l`fmtxmhv*6ϯ]6O{#1:DB%>qwft8yX5@Fr_[QՎ$^CEz8v rl6$أa )pfhޖvP[<|N}4ɳ~DS3" BFgYZ7zXZִF! 8 }]ŗXi%qFHp8i 8p"|Q CDMK盵8ajwNqQP0jyTs1 Ϣ#J+TFJJvc7 rJ|J`"Z[ ,Ii:8r~|$ڝ&16w7R#NR,.c=ggn%š5irLFrV]…i%j{N&Ҭ)>7 w \|`>حwbՑl9zP#*߸ϰyyH)O֢Ǥ3&+R(kJ7徹zFIGNk*H b[e좙p>bE xOx/:YQ J4cH+Yz`6[XE.uT&wn`|?@ '&A8b^ f JDKEA`Dp e0m\frU`>.BA2=^sA_4YQk9 ?z>wG IP]ڷCF}cŤ.C$t3WcdO[.?T|Stm<7sMV;y j΂F5*(#ٮӜ絍о"]058FېU문)K(x`B].| {wg.qy\w*,hᏄ@wg]5vQe 򌔐ă9r"mSbwՔ+avWz/-2-Dq[ȎL`*͓MzLaWAưO9MXAej(9/I,9tu&Ĵ$p/>66]D~@kJ'RGlZ%?B_}ufjHrqCqX򈫗m$>\тSw I#I#G _oLMEA >)k}4U HM5r;y_0)r6cldp5O\Spr}wM`c:Т RbPǡ!)i6?ψY5##ܠ|}ќZ*d?Ec,Aٻ|ObBYeME I52Ǹ]gåM*ۚ5xXƆd82Jk T36`K:MvEpC<ꆽ,ϨSUϴ:"e?ŽNI=:t_W_ڻC͵+r%%r[&,i!+_Unr+֐a| 4˴`~Uc?O7a_:I$Τ*HT/pr~N;d j#3'HeԯbSEi7LʳvJκI0ZespėptAJrTwZsȢW1QABNGrnoͪ&Tr4??!C 3_V?; VTeVeG!*){14hnN \LK~~{vc$uո:1*>D 7F"7ãEL1pJoo^l K9wgYZ027bd0aad9da71e92b47d13cd1af7fc1e1cb9189 128b40fd534163d8c91306405dd839336dbf6421 15866781d7ba0481c3b83d429cf910dd15b551e9 20555cef9603d417c85ae774aeabfa7f164c6b86 2865e9e5bb779efc0d2a109bc2805e889deaea3e 3488936885f842ab3ee157264e285733cd6bfcf3 3a57ce0a51d125a422b231e75d59070d0ddb0ef2 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 55393470785bf37d121b295174f201e1b9a66a39 66ae8e5f585f8c49c88c6f82efa6420001587741 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 870bd6cf13430859ffb7b73bbb272e778ef02e14 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d bbe92b6f64abf66bf6cbdc4713ca5854710a39fa c4c2b8f34307ffdfc69babd8dd1d5c8cebc2c32e cc3e01ff9b00cd93c82a99f22fb1d1992a9825a8 d2148a089fd494348229bd08d9ed72e7b2b1df13c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5dba3e08078354582540bd7f069d8e3563770453 fd2d091f230f479413403d89aff902b71ab05ec1 33224f048725e40aaf6f82695e9d8af5319dd561c3803d43e02a7601b10dda5baa0637c4720698be