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 l D S/ PropResPI:threads=2elapsed=15.989cpu=27.096gc=0.844factor=1.697zXZִF! O]   PropResPIŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^O4/1xH FsC)'9.cV@6")Zuz=b<ډO:|s5(#/@._;]Yt>xBZ[k8Z^,J97k""b \.JCjˀ_?&.7:)8to OOzC)k =_pCf8ɺ.MP2`bkbD7#{6Qx'&N`Rﻑ$D1A~88(et.bEQOz׮s~B &c 5A٧׉KlLM*w9U|~Q'[횵}N쾸#ncbH7!3s6mE΀V]WK59EPB;{sJR aNjI"1/r#敬GAj:hL ߠg+24F0QBsgk% Q{m"~rVh9sJr#yxN9 TƨRp>:]_ #.qyDҷ*eapIaX8Cv?7^~QAJϲ3Ay̨e[Я2%Auv1WĎTwk(wTrZ$NW,ȷ%&n%S=I 18@- qׇo2!eႜA^s:ƧmW٫ ]bMbx7&X<##_0 T+yYwsGջI$ݗֻl![x w^CxH@3Q۔sv_Z˴TgDΒr)O>68Cǿhp#TU7T-{ސ]ϾOE^XN+]^ryb-bl"4,yn5A"@S;##l5^zdb/cR3\&Vff1v\m,Cv_ Ð;f̘lUM3YK*_]jB.91L+WY)_iwё= 鈽rȹ<}AnzHuǔB3+/=( !u]C@@E1=_s/RR]ߝhrLo \fAaS{$,U7uyO%h'!wV<(7/ԩmRB5Jcy ԟrձgYZ7zXZִF! V]ŗXi%Y4. E͙X̱|Aͧ$%gϽӟ=+=TËO4F03xZ&ӌWoYHm ڡ"ۀ^.Ԍ#-}"Sඏ?b߉_靠 A%ςEb&޴/q14DTR;F>glJpNM a> d%sGTFҠXO~䫙jעar7;r[e;WU$xx=Fs`)[ru8P~w󲻜ҵy @uPlUzOArK̔lCQT7=L_K^ʏn>R+O5ԉzG%D6dd}:ឪkL5Ȓ|(myn'i*1FJнN@M.S>t6 !¢%r}%?U Rz$B\*=F#4RK&&i$-WE^oޥhM4<+?,?\ke($KJWnTD/QvZpqw~O3.+ D]/Ygٴ׎N?z xug `d ךpμ]<[-MJ_΢eOb\Suiid_Gj7d6 qEKL:S ߇z(b(&8@ AsDah@ItE )2:p)sM$ i\uc C/0L1MK ;** H|F5 6яGiY>[ns/{%+6eg晸ޙ0'%yDFw!+ސyYpb&al0վt@ #!Ҕ w7٦~DBB{6og癩lݛx"lGyd6M饣'l2.ڨOoEuP9Ko _gYZ2410d4066ae373bed1722c6597e4e0d5d5c05661 80acea014f50df07de71735a0b8d00eedf3656ac d58ecc0b1995d99105c1e5da62d531bf6634eca3 f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcd07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988