SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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$ ]%]Simple_Firewall:threads=2elapsed=37.617cpu=70.232gc=3.500factor=1.877zXZִF! 625]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6gF0d N[ۼ ]Y*@Âc_h oUHD.>΢L~{DU-N JYal~mըWml 2BJ{xsK'@>%`9` al.^1'ܚ e H=`CT%!5e7hiC= '-$}er%z7wwdW d+],-pQ7ISۚFF㟝_%I.TmRiOXmk#(L .Je![MU  K^#u]dQoI I$Kz!-fIXYqْԜIV#;.NxC}?0 ߲T;uXH .l]}E? + Simple_Firewall)=#di:-(Yڇ%dQTc,ߌRΌxYNN)~QQWj8ynvdy쥹t3ͽЌp]M-hR /(᭮cDN'XO0;GC.$ Q vVNJ0To2c kzcٹaƾ:5l Q(F\+a To3abb*) N {ÇrAG05 12#` ".YY9$ ђ_֩lFjc%@d"芜 *W:2C?) Vk)U?\!:v-b#tb!a.sS6JTWt=n& rO~4 o(}%6mw p a+1ek&Ff8tc " x >ED tG)e-^yg^FKD/$^!J\@91},>tuu׊Ȯ>En'NzpNbKat!V#rDݺkn[6E['~ON;"$`MϷ8@&>pVfePhòk4ȆqsьOLnj!dqz !h&ݸo*2B5;V+Ake:!:[s_A`wg”MX[- 5V7sh`tN1J7]DZ`D4, lЍgYZ7zXZִF! ]ŗXiɟoFwՋz Fռ$e.Y $} bRN`Z|'Bi0 *3Bv%;k.ǣNs7A9K!C F[FM(COjܰ0ϲ/ucZ֙6r}yiK˹i I]04i]ۨG@xĽK 9>Ba3NRIJ.*]Y I&NvItQC]ݹtQ^,Y.4@Dׂ%{HO t -)cL4<]ޘmwizl9嗣q%\"t+U$! r^.'L@^ L gYZ7zXZִF! K]ŗXi%6Sr囂݃AYL6T;^c[ C^=qݣ?TNly`lFc':,[% &El@ 2c5o>iH"Obk NH`Qd9F'[㑙cRKwbiKh7-Bo.@Ia=aKʆEmT.~\q?Y"Ɗ0nZk.'fCBi䄕8 hdg=$*fh5^u;U-xrϝ5)]lc?yߘUtFnpݖe-~nPH, m4 U ޠ g~/oMGeVTXpCQK'+lYh~wO{\چy[j]CfWjr1d4jU\ 1hk* <7{nK}A-3qⴖ$O6"ݚmHe0n6mj҄jM G$5+~:cWi,%eZɹ;:7''t1 qL`8'(koIw׼CfZCYlA`zib[10d/T5_#}I_#]`cLs a?GdദBཷ[3?DT֢&ӘyA& wݑα \5X*MQIdi2] ~ T9zHBCv.Wi"u2~f, _nohy4~^H*/{MSSSa6L 2v=cE?^VĥsZiS-9@۴JF GgI~RDݿI6.Ñz?IIs)𝜑 O#@¡ŵoj!AK*(O0~0"H8`|(F:Aio!Ա2֝f H_lQUαoc7]5ԗ^1)?Ao+JX v*K${UmW4[* ߡt rPO?O~ =wZk`Pb.7: $pd._3C:KDم7Momx첦l>~#[`:ѐ Cbc?d˜B=2y)ˠ)W,d;6hmLk3Ga"V$#InI/'gǵ\3PNV~igt8'l ( 8hY_|7 zL̚_g0HAeVt7->ΘYֻ^3s9&]f(t~ڠfwlaODy9^Kbd<̆htlKVA!Cc)7.J8pnXYy: L섯 * Zץ͡!O]4CeMÎ"&9C8@}C _HNAT%Ft'w-|*v/Ol'v#U\#``jRy5aA #Kw|_@-ME䌤P4!ޅKڶfNQ6+#7PȷjC@۽ "ny<X3ShLxPyt͍EDSt p*ž>џY[3x?b1yhq߉^L|Pغo^y6N6*$i`n!ؒ|~J6!Mm9PR^I$jwq9zwL0{pM}PX_qP{tz^u} W58؄r URgYZ416d719a3c03db94a9bad6a5ba1decf9b771e672e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 79ece88ef45c5d8ba4f7465d16afaa11002c6a9e 5f0d6edfaf98a7654a8b895afc1d6a767f084658 e7d9538b18595a9189d0bfb65fe05d6b382c0aee7ba7232ab8e176c643df053e23f96541ae04592a