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 H T< S/ PropResPI:threads=2elapsed=16.326cpu=26.968gc=0.904factor=1.657zXZִF!   PropResPI Na]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^O3l22(ݍtkeSr~eǍ) j?2Y%h'YfDNIǫ<>Q ,Xp,ONZ2ysnMC((z4gw#NkDݼo^?u [Ihj:)"3ǸQY31jFHh:]ǂTh*fV&!JOV6FE UɐfF:>g@s`wqlk좃S3`w:͉De0@(pi歘>?&h=M+Qm$cYW5uSF'iSMr\!jfbÚM}yQDŽ*wE_s=' EeH, prKR m%q~tPJ %3y3ZfQ?!NSP8z=B$;!:wb9cB2-<+B[(EDFv*A& &Thm|s!/˥\`Jpy.v@WQdP8j ' k[f!N0&66 BM74OM,JLO>i{;q˘'ء{dhy_=hVV$/z CC %'Z̖`-)r%CCnZ#]nM3tɸƽϾ@)Q! W9K.p. (] 22վ>:e7"iQu((46-B5 l='?uxfeU;9y̱TR9CoΔ柼"w F/.i.e)&a["X_-c奄U}.DX禗Co%86ZżD -ԭȠ$k+GT$0uDPtl {| /)m , >37;jecaFhBJUbaTij,ĠE(= {M тgYZ7zXZִF! YO]ŗXi%=WseZ:Śy4p?6UcUsȈ\% | svq=5 n:ƞf?ׁ4x_F)-#`lI2?<{`bi@x"1$^^ D5\`7q g=I~"KУ)츻sDrwXƒ6HL5wJyT!{LnREL370rr E  0n`/eP'Y;/EzƹE.ijaP]:>y%iBM|ȉBh}B:Dh#rY$+ hq4gƖY `ĆZWg"o{ oۼ>l7&صAg3CF_UlɟjׅEη&%nzJ65GGM<񙵕`C1c\~Fw7zCE/O m(v`ԢnXފin7sktϘ "FY\ڀ")굍7݀C뢏%43L|ݯn I4~0z"~KpK}7ʮDnj+NLPC˟$Yn`ʨF{`bn@-P]};]1nO[n-D@;EP 6Lp&Kг q߮'U>:Dƒ۴'e۞U”`PB:lztn]dtT >*VȨmB'T#2PT, [3 2XxNћ65-:|d#sڧm})79 \TB в.gYZ1f77c250cdb7c6ce61adf39b3d95b749e1b93653 2410d4066ae373bed1722c6597e4e0d5d5c05661 d58ecc0b1995d99105c1e5da62d531bf6634eca3 f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcd878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457