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  5+ , !%]Simple_Firewall:threads=2elapsed=37.302cpu=68.472gc=3.228factor=1.847zXZִF! 3f]ŗXf1-/6vR[]~~;S0ɞ{]lk'?pD ؀2X/]XJ~jW?^:*3@Ik$P{D i0{1#&1?_p=[{I^KjH{hy, OYL13 ~ȑU t7O=04_7$(,(V+Q~?;jƈRRhX^7qJJg{cn1LNSOa#OgtR6voz91OEƾs ԯ'~%>)'ЙMU+^ukn8mĄ k-)CG0:;w1g6_sֆ;%QU2 K,kO(=0b̜c()rYKsy]Ժ')Rdv b( J BO-8=r5Y¡{o҉q =S>F[3NV)QԵAL$fʷ@B(:\F\~.=lOb HLyɉ,Jn@DM_ 3gG@@C"X +O ӻ*/+x91@XTIThZh! ps ><'Bl ENG(_E:cuhs%4]m5*Znŀj9 IҏC\ʧk_j=\kl=+Zީ ͫTF9[UF׊ك<Ǧ[V^(į[V쮯]^4idXh&:OP fڱgYZ7zXZִF! ༭ P]ŗXi%}Ɣj>8g* jws"63]>2/ױHm6<NnDPEɪ W4>/\M*/w3t2_\K14s`UDD'?>ٖghz@+i\rH.NNťӈp1ط kX8f 0 I?=|]+-~!@C>{s'M3Z߾[WAԈT:B߭Y?*KAw-C mע:x뵪O%ħߦ⻜Q-NUUQϖbP( LQcY$Iՠ HjA7}'& fN C5RI%([b -{ƅjH ~MՁV?̿m:E~ZඞFe4//bH#L]~}窮0=w"*3 `h7e'\VT.v?wÎ0&Hȑ7%y<][ &, jwJg4hyh?yA$b-`r)cjZY H e7g<+L$\mkmY&)},* PFT{kJOX .4#6hغm5/R?#d~}Wmt5VZ6\jɰ` OumiZj政6'j[T{6[t+ 5Q]po)Һqg8DF$DU)ow7 /$+wΓ!a4$)r7TۋWpϨiZrE 9Ajj;ak>3*0#.H| ]Z(,Tk/ fT.{)Q]+dx?L8I ?> [zkNDD>* *z任p+!hء"4%yߛ ߩk0MP~dA}=z,d |Cgh Wx77 3|\A PR"$D2;1OZ^Ȫ( {$B52YwܡLbYaFt+U:WdٓËX?BHz>NJ=^=J6K*0PR!r|'Cs?':`!’o V`-|ݑ7!6VW'SCsK&H3\R_pOЇdV[aږ:+ vka8fד\[̂]LL @ $vNo}3!NGGpp?^$[H݄Ȕ;OV>W׬ѩ2JF2mK}x+RuX?`JU#g p"[04c?3IBVaTQ]^.w;Jy/eebp$ᦓ:> Wz40a4,X; i;M%,y|YBUd/1yObI1t-Q> UґKڣek"6]K_d 6!F<#do ;b$rBJB+Dw /cQdP2'j$|>W &={3/G@iaգ/NFܕ׷?E6&ɣ$T7jtW!`T.*1XPX5\_<T1Tab,͛+>CO>vc"/qN喅cNyr85@,b ga %$87r-Ub~\*P_ϴkj@p?۳cgl#s3DbpO/b#1|)rѿ*;&J6X-(f+ПwJqV/R>:xg_XvlI>3h}&4}aaږk ~Tu`;9O/帾4^ӕ-+eT4-dgYZ027bd0aad9da71e92b47d13cd1af7fc1e1cb9189 128b40fd534163d8c91306405dd839336dbf6421 15866781d7ba0481c3b83d429cf910dd15b551e9 20555cef9603d417c85ae774aeabfa7f164c6b86 2865e9e5bb779efc0d2a109bc2805e889deaea3e 3488936885f842ab3ee157264e285733cd6bfcf3 3a57ce0a51d125a422b231e75d59070d0ddb0ef2 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 55393470785bf37d121b295174f201e1b9a66a39 66ae8e5f585f8c49c88c6f82efa6420001587741 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 870bd6cf13430859ffb7b73bbb272e778ef02e14 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d bbe92b6f64abf66bf6cbdc4713ca5854710a39fa c4c2b8f34307ffdfc69babd8dd1d5c8cebc2c32e cc3e01ff9b00cd93c82a99f22fb1d1992a9825a8 d2148a089fd494348229bd08d9ed72e7b2b1df130ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 37d607c366b55abd1c91a06b0deaa7a687c92082 a0928bf0d4d306447c01e416d5b3533aef04b4a0 80efd6910f60610da759ba57f73dbf58728ad0de36cc2aa91a8e91615b8c8174bd4733a16ebf35d5