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  % %P+ d44 ]%]Simple_Firewall:threads=2elapsed=36.899cpu=69.080gc=3.296factor=1.877zXZִF! 8,j]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6gᯤEx tB~4^<ṼH; Y Yiс{(4bw$PQ62-eBf4l|tY/_ zFT>(^\50[)'utxn-\].s&PrGijP*iMNd`LwpCamض)j^Wd5 N16jIڼbXf_gB[6#sܢxr}Qi60Ls)čoG%W¯lHð jA<jޗTdv0| "KiCELbb If >r M%GU#3Vw_Wn΃PqffWk7& A}I (h輤/;>ʇS#31*Q9?v+}N8J9j]K-@:J F`ƺb>ʻ{Q3e uB{XK3'*~ AYoٯ8^WV֨z6;G+xjVA2ww̻7TW4;bԘHDmstH9/'o JlD t-^^瀈,_Wn,`tRrWV$>%І ѵo*,d%:Xn[#Cŀ9rdx7XbY61U^o$M ,ۨf`6`j6( 3  pgYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2! xۈ[BOHgxv6U ,+ 3H-mߝ{8zRSA`Y@s1b%B6Zի2ʹ&AakNl1RR0#R^g?kQZFIRF9d.z՛ BYC@Dx6^R;A22v V)crpѓ `lo(=Q}olR%d^96V`*ʀOKyQxVҟ]'?o&CfBI6dw mVaw<r=`?86Ugץ{Ȃk:/wٯY "9bIP9L`7@_Z,-^V>❑\=Cвڻјsq5+5x2 uً/⍟TS~s6wVEl1s.Z4YzWo7c0ԜtaSM-tsbq/cT1x0WʸoO%TÛ2PY}#x 6@F9x@Q~/,WM;+n虫XQYʲ&jx2 huG2^{i>ͣZ l!h֔gjBɇGuc8Uؑ LfI* LMF0fyem  T)kj0%S!dT0>RR]t5Z4< o[ڦs( îBzFKt@Dl ^#ԫ1ǔU<A:tK9 t﮵j{>k'=x:skhsHwt 더A ].܂@x46Jj/g@h'C 6x+%oiB\dI7sucO&@QJէ:O)\oqś彼Ӄ7@bb}jM:0'3cZ8Lcw@DkX% E\2ziɘڈ=h#Qn$bI/ Ϝ"g9_ⴝ #߮Z\Os5Mc67}Gz)E>QO*'-4P1A7[Lbw7m<2ed9V{8V]#q.EGl@{,0ʁrQNXΖex6RlW,¥%%KT~9bn9o`гa,m%̈́ЋK+74.h TP4E ˹J*HM(tYҨC;HFOf7̻7)D=5[X^G_tAŒ6Յ6+j`NK1i>.::rsv]8ߌk+=4z2)P%<;B,Ic%ܤ^vc/,^;g~ <3hAڈC9^nݳtTۇc3@e|Q=' {o{>)w1]_t mIRlC"Dۥ[ 1#05D$}૶(G ovsآ|}SR^-%L!|w"C| FrB$si%l+{ jxT8tw IO$-f YVpK$mE{㇆3Ww+q!ֆCQKaGj`UK9DKEFa :PFks}+δ_yn4 qzb1Ko}v𙏓W8 1V1W",Yt4>dq@s6E-RVuTaX9|q^[ FI\ZW@GJQq> ~l:I| q"#@'0A#keC`%_v];!&}]('ؐ5қt3nɎ-Jkl؎z5**S Kd15H Ad#ЭƄobOW(qt98a4A:Cd11{Eָ/ gYZ86755a91393cc62135a2382be7599528a8c1ea3f8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 573c60ba3acfa61cac9ff2a6a5d7e478e6bc035c a12dd1d0f81bc03d2c48f05e28a3108e35148186 bd03c84f2866ac256b28bdd1e8611778cefc1b5889b3f7fcc7b7ccbfb5d7d5e1980d551c471e9073