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 \\1 L +/]Abstract-Rewriting:threads=2elapsed=32.273cpu=59.248gc=2.520factor=1.847zXZִF! ͎]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHly{3 JR̎Y̷G'="×]$ixh64iVV<` (5 z;nW^ֽ20'2|$XQ.hq=Ǎ`"hD]Ȗcjec􇌣@ޭmQK#nm@/klg5Z\1M4e̘: b!>l˛it9Ɍ,%ٚ.t~{eܻ5? 0.j#o V3N6& жKB%hBlu*4<:KWЀvV G]( I3KC.^@ybGd+`0kfr2W67QLgOM&KMe˅R`~ɲ'<{]4pP\\Ռ"Ox?"vCI 䅅V!{fq`\bbʚupYa{Gt$UwQ 4 vy|X5d;hu oHg]4A،rmw<5¿`ݰP||D0`۹?i肗"\`VӮumz13/Ah8nlM¨"oa!Yk34thii-{O}OPc(ʺ(z՝6F#w…f&alK.P*K-.H@%B "H%нxFVc'% &)9dvAڦ_yIc&"dFH"0kX)?W-.g T7k;-6:=ѬA o9fȺnP~҃ s^ 絟~LIzJHZ8>^aZxLnD>^IKFw"Ƭ ҕ%gNwC|kgGa3<K))xMb҇Lr ~Ap5꣙~A tU ǒRe4NHĤ[] jE /vL,2<Ҿ;@b걁@rI’_C }*V ycVlFO x6Je?_YagNN*K^Ա+$|:<8TG&5aQmH &rsĠQqޤ Tǖb-l&[dus I )hXŰCK"ou9;"(-B5V\ N/o߇G)RFG)h%W7cNoѽ`V93!07&,tyx6#H`ɔx_?:E?ֶRy~DMMGo,>T쮫\6jLrwȷEՎ[ZyhmӂiaNFHbeȺ˕zz{7A! Wac(xD!  QXP .5%/?n?惎#0:ɠ$U +ߴ2gBsؗQ"-П"Hs :xkL[nQb̼ƖY{逵6apHźyw2` Z'qKqyβ.} H??ajq,ln"t=}-Q#ۏY+ 9 ֽ7^)~-Z>&ۨ駪MK <olGR Kq!w\ _( pDD%RpOQyCCNG1]% Wpi A-P.Ko"5I !|QTvcx";uGE6nB0nuRW9xׁ>~X,É@GR-b4: Ke!=jR >+m? ʏ`f%)'.wivr҂S( C<@H.sUP2+Q7L33LN7>8i6p^VtBl8袇ϧMb(ېb5&&籅!4B?9%$ri9.mXkÊC5Xm"=zP>c7ikr>)s8+sL> ko2.{qIClYg@lRS>\e@`t{0vJpdC@~Ϛ_|YgYZ7zXZִF! ]ŗXi%Bsѓ GR2:2DW VrBAz4P^"[E#G8m͗2XmY@V!]Šw X$}%%ۊ2mî8ro1pMoG0)}ֻDaDƷ>kL=kG$?62 Ez>-gC+` GHHdGegni[@?Ltm0t.tR8JebAnUW[ )4=+#l[ rH4^oU;z\f `qi,ot+S/7 j7ʭ3CV: tXUDcWGeIe*;Xbx˾R-̩$ŌղVH;0 A[׸hpMQ4e$Ïg4۞-Oӻc Jw0h (%uLC9N7/WpTL `6O4J瓓>i rQt < ڈ*q `?F;l;ksHj=J`7w)QŷͭBq[tɧW~p>VN!ңޕ*F=cľ O{ЗG %pR:e8r">0$J0>S~$?VՏm ~cʔǿ!tt%/jɽV΅#&OJ!m2VqC0p?C>npo^"H]U!Ph nL<Ɩ8e>9r;@ObK ܢi}"|3Q Cx˅ !/0XPYEhz#e+Nj7KXF!0ռWB7FU)(86NY$ 6q` fq_sjjVFg6nN6MruJMBZ9ܮs ƣVXṖ}#2؎:Tk: C{t!ɂ*+鎢ܤ=Z7`uƿ,*v{+(Dx>%izhOz* F);ٵ Ҝ52TfBDhjᮍrJu?̕mw2uGD@P pWl)6qݫ2М }Ȟሎ듚ԚȌ2 sf;'{ A ޟyK4c| F֝ǻ(iQϯLqm `J'yԟ6hhG "µd6iҪ)[RƤ| U=QI>cϨi Km_&S/nTeY[1oR qV ~4 ve^ -gQ9ǟ$nF:EN^,̫rOغ\5Kz6U