SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info JJ DD )/]HOLCF:threads=2elapsed=20.277cpu=37.000gc=1.992factor=1.827zXZִF! j ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"k h5`ĿjKY M܊` "`0 X!2KLk'? `),vSZ9= 3֥-E@ :dzY\ &F*\MaARIdUI2Amlg pp(Oόfe /'m~UDǚ2oc-">4ёGq4@Xã  HOLCFZq;U]NxalokC˦ tҦKJ }@^:KvË J"V wneY=X5^n,͚$BLbBke)-eX'z+~M|=cH[;Y ӜI4U,Vtc#OwɉY4E/v_ 1 =!N@ŪFXMV|(. ƾQ8QlNooE 2*X}Pnpsz"^4GQ@'pjjPgO3i,`9@mY~Q`OTP=<.&.%t.^tUSz ַ'֥X3Ro<C Oѹa" (`4j)Pcs|5o ̽JМk 6(4EYtX6ۤQ8^-}㉚lXwYgC},IL; GP5ν͢[z ӗrۂsS  s{~- c.!#ہݷxMm No,ՐDaF c[71ͭ|ٜJxOssHxBXN0ҿbL)(c(qw`Ix2"ww İ,V)q樂- :(i\[=ɤ;תh0kV]DIה[iNxg8>  $z=ˬ.}} vƒ+ZT5AjalA%+Y^#JP1 [a 4F4EB-T: 3tk״_OMbnm-Y)@3?u+ÈφxVΉ2%?W^TM 8fK/ut*!ARXP!:%5j1V;2 ъF1 <ӎoP!ϡHͅN7UT&P`8""11 _UnCTՔ #rǯ|a*[l40ٟ_uœ@aC+ɧQ̑mp%uB Cz2dm"TBB$j/:c-7˰%:ܮ;V2qûFB`_Mo:,)#EYJw VKܓo{,O_nqh0gs /{y#8M٫Ґ'qTV!Hs{lO|'R>ơQFy{%lg̊9Sq҃}`űTdhVtl |ۻd :s']"zug\-֜lH)\*1=7&+o-un۶X4 ]VUECs9.C51azA+|W4H%\ij]|+rx}VtŊ -rtdGdLНsFz9<[3Sz+^p%eq[nLTDr, (QpS]7,AhC|$F9ȋ@m(]_Q6}HP)b`{wo+ѽp=]:3/;І- 3tJŖw@xJgo0pBTݠTDL-Yo09Ra-zn9vN A1Db=u:a|ZK&R ½ڿW t?Hi]t]@>LϝiXXRsOT:{ёp\OGK1[uOy[9xQbR -WZ|?b&ӓfUd\A\3fzYFo9%1g>7zO`"e]ހfrgO׎.ˣ@A"b+v}4霸aֺ3vEtJ.5(t zCt9?~*BEMF-w=<|_L mڳόp0:yіzX 9kiRԇ.ݡJ ^wB,.,!,ͧWQtm1Af4_B;Ŧ|T4?SANcehi_eW2vbπ&L07X_w N|8d*"$ UX9?&j)qTlQ\`nn pw M]o{U[T 1p.E,^=~ o mJt&Uoڒ.rH(؇OJ^ezƀ7޽L3[ons/a7ik䰝QUu3tZ DXC]ic8]X,0@R\%`ޢ$ufl@a^q>gYZ7zXZִF! p]ŗXi%BsэD$"R,Y?T**@,jڼ>.. 7Z)k˔բ$Pdu?NjA5 D/O<+s'gEݞ$̞ܾU>l5$ӑ|#̼=T񕱹x#xt= "Q{(P+Mp}h'~Yun֝ǵN\@1)^'I۸%aL{ҵ;۩;:5~4yrVx6ౄzAD%V:ler[e!JOm>ۚTS}X\v*W1ـ^JAWpKgó|DlmIJ[;ra5؎W锦N hIc9d;i 0k^"9194)CߨlT*É|͚5ŔJf !̃+o6Ĩ z2+ϑ$|"$weC7H5rI-o @.P4NeGu ɡU@yL1']VCdl^Q!:Z f5j˹@D_\Yv7@R#Ӻ~kʅazK,vQ֗\qziR} N|!a!*"#M+3'}K]ޥ#su*z+0u"vdґp4?luBov~gH .|/y&2,T zf1%t^%ܠ ruSJRW,rrs*ItWO.q  xM•JwPF-5χ~) rR.]m$ZE4oUѤ=4}@t. iOG6T1e5˿D514_4.#{|LS aIKHUG%J&Yy$B- 0/"lWIŠtT;Apcu_͖8 ڳFّ.RwkPmV> vOyC_u߱jsHi--dUyUvqk:W P4G5Uk-+\1:IղƝKuTϖlM_r=~yŮtw7P5%4-o# 5FϦ ~>Έ[I\b^oe1YAK˫TJ4R"~i>ԭ˲[7P$/ܤb!Sʺ\Կۄ' &>9 |*j sʇqRfΪ C? 4ClBvtF