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 MM! T #%]Launchbury:threads=2elapsed=51.405cpu=92.980gc=3.092factor=1.817zXZִF! ]ŗXf1-/6vRZd*^6UaMWd)  ! LaunchburyYu : 6aFDmI}Fyyw/t9#.0e+۸} %M^/BC|| MPN#BWҾ 9eP.}J!#cB!H$=n2ٝYj6[T btr*v2!̼Y\ac!8ac\*(Kg៲ğȍh 8(~ю>ncDRlםg#I==iurɯa+umհ6qT<Ū[ QoXw˝Mbiz[iڡeIt/+Azo:~%nMsZX!n&ĈtV`7"aƣ.EtFU^d;qCڹׁo EU5,Y} 1񦓘@|%8$wvh0fBC5!G )V`l2=8r %"5 @{ ·4<>%rgہx*p͡ a/ Oٝ>rrt)xE8m;)TL "hZ,Ms,Oefk~ doּ4[ lEp+// KEFE|($Z>Td2X7Um*rEG2z<aq Oʙx5Fp`JUdj*:2`l @W͘XCAͰܨ3[6;t->W, a&"x}l2󓞒#0Fo[Z-Bq]@y; A1sóBgXQd$?73M+$vE3 \ѫ_}sWvYnHl,%_n%c9YLuk6-!k-kqugս$jnMclBȔq 7[#Oo~7'J8j/ź MBӷVv%Vl@Eɴe36E.d[NߑޙƱ1Gpf?Ėد<10:diRgMSܷH?JdDr' {3`!9stq_%Aۃ&z'/ %f}\iE 0ٴ7Ѷ,Jq=k'ɍғ;27)/<+zig1$'lR_OK \gL܈ns;ZY@!7 wY[ӿ03մjrR;!*ّ?\Wĸsbx|8H^ΕZH!(Fu&2LQ,뾈 v1c {<# u *(JO!Cg*m{!N,p] eH1:z:ey „NL}7P&,뉵]\/;꟯'beIGzF- ~ahhʬK:Θ4Ih'Pѧd=Bp Kf].E;Gxܘy v)GS?R,vT+#Vp[Gvh0.b툹OdUÛV¯"V"Y%s6be3! ߉l`a`BSoWJk\YE_W!̠A 8Fw@wB-DK쿣`Icks/B$ L3SA` ^Ԅ bAiW\o5f=Br] Hf{eWWt`JqAF I*,.[O!-s>^oax[y7%Uӫv]шd |\^ (exvZCŸ?:Dv. [J-f1M1<>"Ԣ7HO=m2+#!gIDGP|>͜:]jXev$xdZ^nu)>W)]z M_imn/s׉!h*~ )kIܰ>U@u>REذ6hgF W[&.ק60;^ }8lפC0&<(kj=T 4\XxoӢne$F6"=@=W!\V3IϣExղmW1('(1xСq9%cF+>TMYrT=a+%kdd%?wsG>,5ۡq_nQJs˅-3 S=j3+73:sD% w-Ҿ|)S,Nds[\nhN2y^ I䠳ZW(TJ_u9m4k Q1*Mļȥ@XiNW y ^K$:}S@7ו{*ZNP!fm m u 6p lE_\a>5%8̍[X$z{0mAK@j o./9z~Udgx0<>(}mQ7,^O~BNJ7&ֹ.~NoAt%GE( ɮ} %s6 $g5/ߚ`缘"!AOŵҲȧzى=q(fFW+A+TMpuFU} 2}iPAFD" x.Hj9]`WX]!Gy3>AZc%m܉G V-qҏC gzwm9@ADss%y+#ՔOo1C0roY>4CikaVg4q .l{ Fu[D ,.xD$"h${ΔFf,`u DIQɍ6En`> cQWe:lH@Yfb\!-JQsǝZBdA}*6zSXZ `'Fi8vA>)ʿM" [܆zL&eL #IM嚈+jT詓j@^[>;(G`)#K~D|m?THG(@ >QǰlF]KCu4Ãe[iBht&v`==i[H OeUM=ß,S'tVzLrx~ZG٭'|5bgYZ7zXZִF! ]ŗXi%KB4w\ 㣿 5)=juuڱaZ)uveE("#R%<^nHBZ.iX_wIộ`PAM._Mc) }(A*VExu`٣ O7|6iձ&Y*EiP`_NXMQZ] %0nJ:rQJIL^hp)]H\=3=x%'\jS Mrs M {Nsz y*@ʏVx"NU?P2lx"p-_ t<^%l͛.hZ(y[`5"@MZJ*̙h(b 1 ԎE ą$r*ӵ#qguƏIf]{50l*$4`ULo:Z#y鎉db 辕&{I_=5LJR"M>6sLwl0.qv ̘Vk gM[N$-E Rn :Lȫ^k8З)w[+vRr! IEO_Sϴ9Z%n8AN< lá !j$yjN&ᑿ1;ͧP6_*vȉZf5CYՃ=(GybF 5gM{ҖGH/Ll4)PR6K(V/>[$W/ &\o|q0]hH񖺎K$S0 ]̕_|ߩ/R=O~hiwoc~NJq$]B&Tf;ܥgʱ II=N%w~4|\XlIsy՞&T%Zk i"$1+lN! Jg8 |eZFU!h-KHP-?c*?KpH] ܉j>4Dwb+mMU/ӫmZAFp?-*ZAg۽7*&(ʤY^n<El o oЮB.Q)RSU<#[`;G`Y=t 5ׇ̀7DFnƟh_9Ckae=g'idlMR⡶%b FW=O hį].gSA_2$"y=rycuo2o4h"Vi<ōy WX$/r`Y`tqhR8'V^!pḬd OT|Y Ύa&ϔJ+÷a>ߟ)EBzN+]2 C*h&^ݲW %nlGߴf瞤mKY\MJr EBaE:Ljn3gqx_ |-*! |v:{2W\Յz oX# ;̮>}CaT0Ɯp i־':!lCF7-qPլ\  QӉrh/}$Do4ls6za Tj-f(ojkSmENNty1>Vo]tbGҹ%4$UReDD.溺4Yҕ}=$ 寧k9D$R?K @(,@|Xg_Ȋ}Og