SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 h3 4$l ]% Residuated_Lattices:threads=2elapsed=25.385cpu=44.884gc=1.588factor=1.777zXZִF! -]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>hd5oirNOyio )6,o9w:;G(r~e0 Y c\0$1ⲏWIӉhF'em! g`;Y}~덇:"lŝbZHet V auz6 'UW8e:E~"3ʣ96nj.Ť|4Zx Ӫ(Tn:`mA?tUS?Vw#ôD]ɓ@O^kb$g5uNcjB{Q 7Ț"Vг~֨0FtW2o^@9D.@-<,"ZSGN`6)59`8nN5z&b!.`E-oCtmz%w0ՏBf9ΕYZztTmʜq\^F7ۭslFI]?g̸y,=qlȝ]:/=Ȅۉk1E &r. mK*[S8j9B[P9 &ZpUBnH|s>P .u  [k %j @Vr68qjlY*/r#CpP&1E8$U38ВUg FW{6nr1H,~aga6Ps֧6C­ģ-[ :i+Wסjx|`+PۚތMԺ`KeZ6iBeɔ^t0zF',[y廱gYZ7zXZִF! 9]ŗXiɟi5)9ݻs?lҢ 9EVh-%[!dUNMߝk|3!H;ڣjʇNΏmk1kβAVCO?nY!'9Wb;4]G+pg'E5f{F<ΒEhR4ʼa|m'Jg&1w]`uвgYZ7zXZִF! %]ŗXi%ή++6(axxwdע$;R >y㻭 !Hũ׆c徚QLs} 6Jg-u, |{yvö1qȑz4&7\6vQD:.QgG`vWR`(U U /J.i>FqE A}sVXGW[J~~p9fը~[2|$[IW0#ܻV~k)V>%iXsTXL/]}fmwh2/yc0pwSL r1JډGV=E\5$aek܈k Nw!֕ק%޶F'̽Kz%>( BD3ג0\ɶlzUӐf|b; 칭"V>ч'++$( oNK-@G~.#BJmv`h :-6z_?:Y=[ank SS. 1tq2?F39?ڡh2z\<;aW2VO |aKpUSic4c !s5ȋƇDHJk+]&8BaVJ,5'(u/ aap Y_˜Lcz94nN 05=\IıQv4"EÜwOѕ̚mKMe/ˏ){{Q+(&\YDA:gy6+ q ,׌ˮ0mR gYZf7cf31a0e14896fa16d2c49442b082ad4cde8eb200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1d794962c486b8be2167e1483c98de73c64d1df2 d6f61e0229c78f3946db5cc4cc6f7e62cb6a1a13 d71066a3fe409da6ffba1bccd0343f15f28f5fbd 3 Residuated_Lattices