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  - d S]Relation_Algebra:threads=2elapsed=24.492cpu=47.280gc=1.816factor=1.937zXZ - Relation_AlgebraִF!  ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci'1hʱ]ʛgqׇ5Gk!@t# eC&WMqcZ+tdKPʴ9VXB=|ǼMY9+ DOu໗?ޛۨºT0xy~vB\FBgܫ?^"s̟CH j񘺽"6YT"5DZyYU>dt*BPuc1ӭ$^/pNKd5 SXt,_MMhwCAA 6T<['}3`csQ<N7=.Yʹ綠0LXFhG4Wx4wIx?!2_e<(|JȬϐH(-Gr=w6L]o?=H;eH1ߦm2(WvVRS4J1bG.p+ݘfE-vzG+AO)n76:9L%/vsY9D a ^L7=[ ̣SvP@GJrgMm'BϾ,OQ$r,+Yp袇9jpz H5R SU$Rn߱Xeя6 ;eU[&.xõF`#l4I?r%s9~hw>E\~%.TT;\XŘZr0Gg|B'v`ZSi%ZQ_@M}U+ gY hΰ MDi}Gvᴁn-ͭ@ri>*.%y; I$fC*V@U9DNȧhE75Y0~ffڈx^*+ H170Fys˼_t~~sњ *\ \i!׿H\dK7R{vC"0t͎\}mɇ;o^HnFhUꐑƑf %b౿ i@MZ1P`FMpww)1?n~c+:2x%v&EWƏ\te\R&oeM kHR;~[XRڴYs|~2[үVtRYI š&zH v9<(ɟԄЃZ; 9*d!ɼ$ؗFO6A{OiEPRd{/KALI d/1kfP3O6_@JVx:C5|X)%S[ p*`ko:A XۥŢ%7< =Z|lY E_kȍHELoe.bE*f׬}FVǵ\ ʶUhNP)"ܦ1J`LJ|T5u'iWX \?V*FZn rsުCoY`_' v6+#5u  B/n39pmfpPVW0pEuWWeZ:;7/,3ew{ \G9n-ڽ~i>d{ovClDl7C g6Chf 7a!n Nan56>,v=vHrI$ ͨH5A!Q(TEh*ywLY19}{㜬|b*i : $, 5eVLnXCINg8=d֍^랚лWʨ.>:=ᒷǨV6eg1Y;I,>^ۣY?YqQpX7J~ޝp0jlE]DyfKiU #F=AHTsEJjDLp4<[۝Mi{kZUGa Jܕ[I7%ŕl>aEqooVv3@|:l#,4cT=7"fYmAta槿5e^ay+Y .ۋ$xȴ?jI56r |Ta{b 9ř0wJ) Xq`#"\M<@ӟLR5=o#;/S6ybȇ5]Mj{/jk!Q^M' ^TJ;5K]pW^n 7!>}P3Ӕūd@ꪾNUpm #0bgNJ|p''ʁlK`yEkP9d&b2j3#7%virS]~LkTRC{?[q3q!GsI(뉄`| {L-Lm X^ѷkxw^53IŊ~T6U6C)zGr6Mkv}i2CF0S6XՌtnax|l%Pb.d8!7uP}Ycjfe _Nn/o,uXpȰgeɸMj,~ #NJ.ޔRqOЏiP̲~+]AӯWJO %+_:Y2^u+$)ήrgBJ?v}7!KzWH` |H^ݯhr!rz0tD "bgYZ0855880e28b25bce23a0b382e846acc593b36267 0f086e7ce11590731d04415bf2ffad59b0fe1d20 38f4f889341e004ef96c3834add35375ebee7827 9e6bb46a997cfda638368ba2bab19f2cf63b764e b6cb0829cc7b7d74d66dd4a2e3b203d490ba53e3 ba2960b5a124c441ca56e5073b9f81fa76807dad bb0ae60a659faa69a8c367edca05d38dad1346b2 c8ea9a9a84b86a0d86a3876ac7167952558034c5 d81d8b286eee67f6a658f1e82237d21546efbe3f e1dc4bf60a9705e1fcb3ce5588fb107ab09748ee fd9cc54c27b597ae5b136f86c407036656d4fe7e7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 43a0916975fd8fd7a39f263ad02cb82da7f42160 6cee03eab8705434514a8f7a88223db25e0dbe9dd8bda0fdc58c97d332ee7fbeb0a6bb56ac72ec41