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 XX % ,d 5]Regular-Sets:threads=2elapsed=42.376cpu=79.448gc=3.172factor=1.877zXZִF! T]ŗXf1-/6vR[O CИRO! % Regular-Sets,<^6QU5 >_hE++*L$" nK;>#[QH93硚U5>3mܯ36 oRхJ TDtOȼݫY.\ F:,T (;N%ԔjX :: ~~yjܝꆠyGՠq,^ҌZncJ_4zFWs3mdf:bUṖ mp#1DڅhFAEdB*_EpHd_sE*1#\;ż<&-tU檾!ʀb. (`SkL)طv?'i@?nSOA'.tzVj2BmnIf=/҅,ɉqGʲF|KEbЎWmM ovb}Ǎcňp0PL=z'od)I v7n`MzJU:ش`֟% T."&ԎHУ- ^Pc(p!3e}XsK.q汁pg)7Bz6Zȱ*wy]#:5ud2lUj-﷌&\ThJ~6wB%fSuk$Ȝ5'/}㼘0O?˟tTKw2"[l݈ч 4gsT? H)Dh͕MP!U8e5+ƻ "_&\FؑMTGU)r@]53TE!TH'vx iLڲ%*-.!,=cOkZ{#))C@lÁ-=_] ֆgn4[-8slo?ϓAe_ T&Zm'J[/ tET؂[/ 8K2iJs7#?͔r"b[ l%04DD*xׇr8Ђ+ދՊcnT%vtmH .q(< 7} tVBR]3rxV.{ԷYCtu\9řrr%|xA huZݺ6_Wt7+>pkz0 0u#Z@9ȇ64:% XsY!87ol`Yu7DOY&'TEodxWak Jy4Sp|Ľ#e? )ҩԘ&k}5Iub)o.lݵT {>(mr2ؽ?6K_-ھma I=ڝzd?9-m>{[n%7; u< #9wא 1,Mx+T1}I]KȠO͓ Z2+5WXS Ն?|T`]{$ݹXamtL2j$\PT5CO1H2UJ̈́=ʃp6{rd>k߷La7Q| U>uк|f*UU Zu[re\60=̀^JϯbR*-pZvHyQ3\Met[o}&a7At>ϔY l5p`x 81^m0Pkxb =~" JI`D;q-( ڃ5gYZ7zXZִF! K ,]ŗXi%VlZCVzP;jIc*aZ(3vs?Q%\Y5dEtbx(y"4f#Vdr-p_=;ݗ&!҉PXK;Jdw`rA E{bÌ$p3-9MVYla"uz]!a_}{ GjgW>͘yjU =Ms=)S׉V)zgA1?zll$.K!;Ew]3bwõo /HDq2$؄"#<6Y.oM0]#LU df.%{/abB~1 ]B5λ3z=؄N>L>3@YI6JC#Z 0Amk%:y ly\6ZcY^Η^υ$3_6^飗FMu=EJziYq>8ќ0n:EFoSN%ƚر_D fn<4إ^2t GC-3 z)i*<]Hy Xe}jw4vS(g-ҽ)V*#ľڱE˾^(!(؛K _)?<˪`I>[0Exki1l+ R^پo`UY)dx݉ n59ɥ_}ė@:çjZQ6w^=Ät~hc73Uc!SYΖ3BBe2\H~x %FY#0[8c֋Hܧ9Jg_֯/0B~h"Gn[3rr6Uv gJi)I6ή*Vw jW1nq259إ~ܖ]k=zlhT9k? HdF!#ubgb6Ju-rʭ uC6zgx-(5Ě})#R(5I, T:2`YkC-t%g)`k'sڑ) `4pJ_xsI]6uZ ),C|pnPp@:&lk\hSbÛH1CLȍ 3V`UR7afB+ר7y+_^[8I[_﮶Gxɜ uqkT`苶ξ6X20_H~42˛^ZLX gVHG}#ߑ"6UUl4Rpނӗ8"ᤳiz[8D\*rP& zlx9H®.h5J#`Ohb]# 3]TUR wXX^B/:":-:Cյhh `[¨733=F=V;[j"GXo%%Niov&`\S@~ĦiR.ޞŷ[O;M+A)G#Jŵ[0sF"`!`F@z_m^s5s4g`Pvۛ UǢ8%{{fW4O)ghCIDm}%ϊ},x3ɍOo\"Ҩwwtwcw <۝c^.}(~Y"Zy=ða.HwJ<wHiqZ [#7x4t,DP@:6ni\ͤÀVOt1.Qaf:}vbթ:ZeYU3dIiԶ~nSeO70x̞KgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 08b39a2bdb89b8319778d00fb4fcc7a3c6e99eed 30a1bc059e0e0e6e5c1deba4757bf160c8a590ba 3ec84dc92f4d4ad777248fcb6efcf6965055486c 52b0aace9d7980c050fa4e0a384a785c607e5f31 7a22667c57f746b278085651b8428b2a3e2519ea 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25 d3fb91c47fc3112ac31920e45c2b8b27c21094bf efc268ab2b9e37dea06f9f97a5a2ce0798e3850580f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f1462cd9ae536e69f6a93c882766c3378b172435dbf5