SQLite format 3@ .  YYQ77Atableisabelle_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, "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  bO | w Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=47.261cpu=86.760gc=5.188factor=1.847zXZִF! .*]ŗXf1-q恈<-¡$j2,xZԵ/,ޘj>:q]ddPLYBVNEi@7L8DFURjQQ¿ &xJ Dc(y{YIy?D\8A X~(e-"m@ϝ%i>d5)5!jL( ߔ | o$tF{.5:<w|#@~'HɈ~:\Y_^4Js* !.}S7ƺQ(ΤǕsW+5ވFߍ9:/&y71c>G~p s5ש90x|95lm.<_]CAgKCAIlO՜R]|8Q&=U0\(OӸ8DZWo]OK'?^(Y Yc;.Xas seW&cZFF r³ö٭e-+D2)85,s]@+SF/تvWm$&E@ǾOf5{E<B(*juenY,(ksb iZS0ėt#V4"vր1!8p1ކ鍓u5]׭s ^*a^%<7Jԛa5P yx^4B]t_.S%+˖{~ᚰ/{?e3ax!#e}!ΧZ\[p6v(h5oT3.g9"Ȼ}\-9Wl&諨ԺAl̐&)^s:K/uPx]'^CO-)\gk%PExA %ṡ7GmDʹLMp HQΕa$&'}o!!wO,3,؎}ʪ3L/zmA_|1 1tH mͺM_^0Ӎ˹u蜪ndDE"WvE 4l7#-̮̥;U#-=ME9lI˜:u2av+4a^6X„x[<Bs; [N>K=>N@C7Kْ 2-X0jDT义K.+dd[d9ǫbDǶ/nI0 S-%ykH,ғH[*lklAhwR3w7|ñE±pՄ\.6y,0﬑?f^+L?,TOr{އuI̙H~>PP#N/6V 1JKI3;j@KtYF I1i3uc[.tj9D("7  9 I9̱;57ls 5|3d iBIy"DIǁ^&~OMX%'<˛k8lQ]!qս]Ӑ&Ag1O]Na'O1gxcOA8eavΤ ŗ*~GYK4S5]L3hn8rVKjz:n+jY1zC?Rǩż!E.s}k!{WzSi7V@]Qꀏ=Hg$j = Ƶ6*z([I9]-[M YAl7vFRbw:R!-ˏ,FDvі tF%oacՐʾ^Wu>B kTLk 7h I:e=cY =\{?!%WR y8,:!$"26lEz@Q_ <4N pko2Yly ;M7(tւHPlm3L?ƊbRtv>U<=nݹrHÈO*X6(M%NbİDDot0K/]rkB㨿hnrJ c=Q[lmO][ hw :'yVd즯u9mB-Kh)5bJQ?VJ2Vylz/PfkINL?{FQ$\Uo7_g:\4caX>6dV;& sqޯK(-=K[ `UC{ߘs .+ƾɿϹ"Q<5k\ `ycϑ+T.Fpg4<;I|FMf|.p/@}&~ܩfΔth°팶L