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  38#ja~=׆KbsHTy*]' e'!tJ/Dav-C:~E-9hplfPZ?*Cd.kf2/k6U6nIB,V}CF3$ c/j 0Ã}T-bD֓wpn"M]/IϘ+qbZ#D{qN.ǡѪ6Ep_/5^\KuM ǂ?/_=){Y -.v zG]/;,sJ|RQz|uӕ1TWG*أOp|u^c<8QV*\-4.(@4Mr^XT796Y!ɍR`b]ש|ZfBTDXzR${ > $Ӿj&wS-w{4}wf~zKe5j\J0mڗ-qfUpyw@P:ҳ)?-@$p A #=#EO 5LɸxF O΃=A!u]=ӡIs% 2: $`͵I<?瓁8 wfVQ& OtS9w .hWeɈN휏 g/r.NțTE8 PeĠM̡ _SPޛ+:hLz8B9ex6#S>`6\R fYhX5yZ/U^pSmZ)ӫFz;ƯpUhմVڱzKe\wet|R4R[ 6'>&}HGf%-8-uM9,jfAqYR:3 -? Pk*=cD '6~^Z!qJE` ȣ7|iW4 _.gt\4g6FGP}su>%~';l^eA VdW;-p8ޞ\:"X5CqۂD숸qB#fW[ j ̡~`p Y]D?r{`eD_iޢwD__ 5z\w3+ySi͈e@bV)fT'_.Vd h r"J RFtKoE-G_1һ.dOܸNࡓa o xԋýg8j^ȫ#0褖zsdJe!#Φ8F퓀"&Xn{&w;n5{sa_I5De $إb,Dڀ) UE͸yvdg݈b1݋O+p)s zaZ[ZJ}(*K'*y\9Z>n`a%ьcb8u6_TXe=5x/թ\Yx3ͩn@K?AgU[cx4id-\t?LOtzyU "^i`BIWĀJ=y4[՘Ii=q=2Y5߫xq/cZ*׶_#kܽ%n]tn˱іm}C{x?V58W_P^Sz5D>#kMl]({\bOCRSH"?-;}y&>E9*{XD~@BApa Ju$DYev|I'eQ6,ha?Q>3,WW@k eO)?<>|u㉫ Lk1oI9A0Q!ssop& 9&81ǯSi'jK-b|7>T d Tqk6Q˙њoêoKr+gDx*أv+?MTTiL7YTP޽=+.>CkYǰH=kSd "n kW YD"m+\4З=1G{/ba˗?0QPgT9U/+-[N+ (6@>?ʕs3O…zɚm^RP vO{m3 h _'eǮj(R 7{[V+aob`([MEO]p`<NEnl#GqB*~|5aixXș!iHA0V8{n)P5P} /EsDgLɄ*=|Ω?FrM]c:l0Ggv At#Elup!>ɜFdB}Mb_XE@1:1( D-OC|υYJӊ"T?(I8"2 |2_;gYZ7zXZִF! *O]ŗXi% }c8cUԶic6ӬnT,ϫ8'Ɠ XOe#H^4Idt~ xUaPg'CQ5 Bw|돵.LʿDe8{}KS\- POuIxK}\R&J*.j,ZEͨ8Ū9՘ LMa0@߯1 4 l`+X.^6"|֏ڼН4p/YI+丟pʷzުK6B<\~͹|LD31>5W;Pvr^fgHntî:MtY3[HT)~D<3$wi[=_fD":Hvq0}>[53o'/a5J*5-ok<G