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 `   IOA:threads=6elapsed=7.372cpu=30.504gc=0.964factor=4.147zXZִF! ]ŗXf1-qN50^ .nEށܱsO.($.hg/[-]/hz{+ݾF"H!ǒD#0Vj='ɏ,(y>1Z4+z S6qM1fe-!KIUy3}"BV۠may+r+IzHn<̦ bIk0ʫ!*x1΄*$lGjQb-FY;Rgrl ?RLn:ڜ DUQ |. 9*R6FcG7^a=nq z-SŎ;֭C"9x(`Qs  IOAo 9XX>R%rI;y)Hd7+ۋiZn.Tv`;:j5o管Lkkc.ѦH' BZaaWOP$\ DONօL^'%-p}g,"NM0q!Z(iݮ%8oX9_lOP K+j]26GOg2)ޅN*ğFh燳ű=.-S}'84r"NkC쮘]m*h-~ty}"?B;׼[6SպχBWѭRwt,@pcGCdN6v\YlrPO#;A>lF]?<2c,8{_ ۩޻>_ۛA8nDq:kC->(Iodb;YZWU=]YBP}q&ѬW\x,-TB:?|v _aYKFzP@)̕}n~*>)Wy\l*0 kF-Xfk6bCx`TIGRI Co唌ۃ?)mgPkI"fZ ')1S⟒=%0C”gZJ- KmnxcR{/H;]U-}iEiXV6Esd#:Yk/% rּ-ȉN-%4I(MJ`>Ù)nvdE@5!U=_s)pkMj: vѼҥ :"}7Hfor'.;/I3 P%ܔfBDjh#bg 7xơF"=&Ljɑ ;,-+%! c1k=4?&|4w k4J*eF0>Z*(0]7z5+d|>XB4}]/;)Z7‚ZkI^!RTskNRިX@Xa.IYX- *48pVx_%w: |Rڝ P*cKZSt:ݺ62Sqzf ;XT3Pq'(Zƙ(|[.إ}= (KT`1}Jg:| ϔ\'1l7|Ua͚9EU8-3FPRZ Hr",$u\!5drOFa=Lu XzQ=~$\h[O[xK^7H6 1"`.G Nѽ͘>5ԤUPOdJ G0t-H2m-8t JٵCS%@@q'g u+Ld)s9O1Kmk#hVË0eNȓzhd =6Ƃ82}Kr Or#DU;*p-M|bBZ$q!|awp:KvUKw\w/w%=8uS@>Mun09&UVXL1"W"wWcW#ngm%] .~kE^&GWo꫟Rs M=4h_C:iuPsz2(Y" $ ˭qs'{ 0h)TZpjnK(vv>M<(.[AfSCjR; mij툢" :#4k+1zwvCK/*vB,*ˌ6uj9?K+66jpAO\P4ff HZGMh8gG_֤>QQu\4_+5Y(8'㸲[yAżoS̷3( oڥaIఏEdj!!]K(v,JJH;dҺ:U,`W!Nf7j>E4a',,7}(Bnˆ:m7~٨kX9Z#r_4}u@gaEh25j;-Yxi@6?Iz³&ҐXGt\JvaRȘz E-z%AOՕ'R TyocMQʁ63a4dGT&#)rD4[a%⡸ol#yDZq?׃d`)@Ny",e}$ʗbZu}Z!&O=A8|t<L_i.R%(X Tܷ;FM=T(0kMS8!BQ. ϸJn"T􎄝}0iAH{'L?悎`p4;!^<8{.j6"wE`5A|e?LVAKFVig 6ߤČՖs!(yxϲſmîl(bUV[gBs<% P/d΅Cok4IV51_ !JzT)ymxhzkyhVu ?r^%*@lHKnN|7[kJ 7I>6gYZ7zXZִF! %]ŗXi%NŞLoB%޶ y]giw8`jt獼 p+_O'.p&Im&y.oA`S`\kblekR"8%J=zG+N2lVH*)WT k1W$ڄ߻7f)Fg`b~W {-z鷻 /̓C@zsc-0`Կxu*5Js]̖j5pp@UG@O5 mKնY1GM'Ҿa2Cz&3C5zReM$PP'K qjdMM1+)tyd5oE):ڗv9ҍ95y;30t*W]YȥFSpSKaGPo]RjBQG7g5m)>qĕL~}dc3v{I6ݢז-Ca hH 'Ku&6K$F 8:[_i3rR-j׎R%ur7 !qj@#J9atd2+L. 7GY  Jm>ɸm-o#|PORvH^A 庳0/MTVɁɑKUY:gYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a18112eee406f597a382146d8a83fb17951cecac13d1a5 2317a07a5f3f22e6b314391286ed2b5e12af8474 ae18b442dfef1ef5dabf6ff593a656e4cd233154