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 kkz/, SI SDS_Impossibility:threads=2elapsed=60.034cpu=104.604gc=2.852factor=1.747zXZִF! P]ŗXf1 / SDS_Impossibility-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,1{ Ӷ~ n u ̬\A5'{cE\d`$a}~NCx41>&BL͟<갻\Fa/iB0$Iw*2QXZ~U'T<5kOa_u' ${ƒJۋh֥U7IS/>Sc-RSDH'qBTfzRJw$r)4ҹ2F]"h޶ŴϹk[,1U݂Z>BB*+b'U6~RsHehkw;D!$k&PowEd~d~[($S43}Ao]_z™݌\HN JTR~1fLjA"|PbM$ a1"﷘,W,&U[$6Kff,/E|mt7${9DDyUP Ωس\RZId  *$O U¾_ t>-oԝztYsܓ{f :+}ϏN ~;{aހU }KH{?d=ag3t>Nx>8Mf!UY HX]Q+N<r.6X @ g:,#w|<]7mˬ64Y7P!V9QA#6؜ azd= 'klDwW+~9 5/yngEuw/:R`{(/wGT'qp Y;HAm}_1+C;fvvP~NGw=wt@ qKO\P8O)#Oݭh5[ILE5 v}&EV콬y]|]ú:.rg{+I\}aS~YC_E Zi[e_-l+#>K .ݲua[P/ sƎO 5!M.D$0"sCOPֻwh`?(>lnl#je`c'QaS֍2Ĥ# jS$o!9P˺ kbP͇v#.몇Ub(18ճ\:9}/:3[ije=ZT LK"?oò&%>BXFQ%vRq@*Tct04uQ,O %+Cट[f(h/iKTNqO~ᒛtl~4%̭hԠ@`lʧZnCośz>Kȓ%xH)Efr?wa<k*AuN~|{d{TЅJدИZb Sr`p2`Djˆ']eœ W6(ʂ>FL:R1Aw1ho,lN]_wΓ,$O?qGW[dw"(U&mM1&7Wv1oi`ry=3ї➔iJ~+>ńL:l[0_ox`)iǿFJF6cEoIdN/m" Ӭ2G}W߰H"{F ab.PN3kfM;6- _i|BKYQY.E͛ =3C\&C8xi=54*R%0!_[p 0ɤq8rG(Shm5DsgeШCL"l 1nM6Ư?C qZq">ZK".+;"6& &!Jlv2Z~w柗Y;m IP54`U6)acȠNT*Eu*y!_!HL"p"K$§}ɷZVo?nq1,cCO:M?ݝ[;)?󉏬囯ɦpbSOxKu8g0ݛ2Zׯ{!+L[WcFk6ϸZII |?j.}ȴ H9џ 6Ogż΀<Ai fp@#lzh@˚Љ#}w 7HE[ra߿gSvOj^ƌ:;zҒsA=㑑P=:`F3_gm=(hBp#UM e#fњa@%MjP" ArK*= hE oHBe +e'GF@HfV ÇmΝEekuK&RnJbܡA)O@u(+X^G+dF-s]>┗tsS65{]WU#i0IFY +BB."UB"Xxċ!; =i-AU&WF3o0ָsB aZq c|2nR+8XvW]B$_8r= 2$5$_ܙΆģ<#^ssui6u1L qr4HfFJqAHGCyP`Wm咔ڭ12~pv61P^qId*l/l [ȇkd-^\aR9X 6`RY$Nϝ!;6Sj1ڒ^m"*%_wM[ԩ"41]˰HVvXw-{oZ&ZJ QHpN­$ pN]t&x4CJeRu Hg/hdҼtE1EJ Jn4!wJ2T=1u5dB%@xѴrTAQe8p5)^GOD)O]!M&)ܧ yH|ʏ\< |mW)+SXOМ1(_%>mtp- ~ySgw}B4*lX fuP$EQ _n\_| D Mv'T aL<(]ëD *{K`/]R-P:9}E{vAY$8GS`Px$X?b[=5 ōeMWKT(gPQ4P K=yS&`JA"1>&N;+A,1#(WV>ඊhWz~M$"9˩OڢoX, l kg]k