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  y+ t\ !%]Simple_Firewall:threads=2elapsed=36.659cpu=69.244gc=3.484factor=1.897zXZִF! 2]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0!8*; !urPig;ƙѷq. t})N l\1sBɄ XUۛ2Yy_Oݵ;%8䟲$ViѐC86l1fc\A(2XÔԃEM6;mbuE48Y!ڴl" hcG?r-]^jk Sc\iRDi:%o?G(ymTpkMM-g喞i(F7G/搡@ V,|6>Xl'd} _F(ve$+EB^+k=f;ii_BU0|^k11|W};xJ˜|'H}"7逞 9 ktEltilpۭz=MEB[M$]gԕCB^ږxyx :i1I0.wܰf;2\ .Ti:j*yon:utx9B&4M)EV + Simple_Firewalln" >g.+*ɢjSa4%͝R5ٙ*Y-;gK+I2rKr?N,؎(W*쬗P.t +;uv޴&&CǬ8syvPqP٦:ah+@t}欪Q#̄΅MW"JJq%uv-zdv)yzԬ1Kwe'&ID<8]):C6jJa-F%Uh9s0"tꯒԫP>ĸHu$_'P/ϾIeM?6Sȗf/xCdBLI׀ؑ_YYɧNcO|{ӈkY>N9qe_V YW0&r/= gnJPuQCɸ1k]ת2N00Ap,!~ph أݨBiu |bM}06΀r)"Fz(tX2G\ Rt'd7 díbD<7- &Iб]bg W?:졫lÉb{5C_)*, eoE۝;\G .s"Ũ(22ķҡ=K=Z Y,nP-Hu /-eMdR5fK&uѺ]C#SLR/qzz9od_AtB y G\if+'Zvs ^vsW*X%18eD6D@q:%,>uzK$ĬVQݵ+v&n`S:03d!!ydԄxda%`~i"' :\YO %j 3$#oBO{]-;9TV4gO&}Cʪ}f4:DT! P0C5x£gx SՌAn2 rx%?#Uŋ[Ja0ZQ[/U)TËpV!yk-&M1zZpc=ÆEZ>pD4EqSJUdZoxxfΐ=ݜt珰^C7Ԍcuhf8_J]F&mu708!(d2!o #SydQ }w5 D%wIHMۊ4)0|ǯ؟n5Eq9+lMiFÃJiಌx—0Hܭ>ǭ5beXLج<RC< z-6чOuOu-6"D)wIE !:CFtD#rGNٶw {mfŤ%$q<9aQ ٔv\e^Ǻ5a w-em|f կj,'D56^>ZRS:>b*e/s)?^}Ķ[G똉k&=@RLhcry ?fSFA#?c!6 5l=U?̨O{R)]GYK ttE >+HÙT#c_;`lyw}pPiV{<g-qѤXViA{u&DRBsdQ :(# @3>?'ujK*_:+<.AoVB-ԏ$5>Uq/\M32 V6t=u5foeZ t) `jO0(aBHLˆ'}Hœ~P7t>6IJ窘z,ERQiNee*'9Ug(B^tL r C;}/[p.3ZՈ4O-ݮPaOK) @)cEXc5]M 590%[$|00 >#JgYZ027bd0aad9da71e92b47d13cd1af7fc1e1cb9189 128b40fd534163d8c91306405dd839336dbf6421 15866781d7ba0481c3b83d429cf910dd15b551e9 20555cef9603d417c85ae774aeabfa7f164c6b86 2865e9e5bb779efc0d2a109bc2805e889deaea3e 3488936885f842ab3ee157264e285733cd6bfcf3 3a57ce0a51d125a422b231e75d59070d0ddb0ef2 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 55393470785bf37d121b295174f201e1b9a66a39 66ae8e5f585f8c49c88c6f82efa6420001587741 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 870bd6cf13430859ffb7b73bbb272e778ef02e14 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d bbe92b6f64abf66bf6cbdc4713ca5854710a39fa c4c2b8f34307ffdfc69babd8dd1d5c8cebc2c32e cc3e01ff9b00cd93c82a99f22fb1d1992a9825a8 d2148a089fd494348229bd08d9ed72e7b2b1df130ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 37d607c366b55abd1c91a06b0deaa7a687c92082 a0928bf0d4d306447c01e416d5b3533aef04b4a0 d20d8eb9ac284f44db719c50c18b19d17919ff4a3909c37f6e26c334e3ee1c3d1049a60df30772ce