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  l l#44 ]S HOLCF-FOCUS:threads=2elapsed=4.418cpu=8.548gc=0.204factor=1.937zXZִF! ]ŗXf1-qNezGh)=|"*AvX(o[גGGb2~? + 99,+-U8egYZ7zXZִF! ]ŗXiɟ>Ӈ~{?@& tu|= dliZNXsZֻEZI=MȌo'lVJ󅀌]x=CW@Tv|a7SR j6:/`2i26P9)gYZ7zXZִF! JR]ŗXi%9(Pψai( p;šC11"B%Gr(`A'  AKYig4z%9jjwL :Ψ8Ҵ^x*j^或1-"`v)/. `R]]{: 0ǻ,xx DtB(J0~@3e,RYj"uq`_Ze ʄ7$ ?}o=HBPHtgX Zs"DK#H29`ȼ䈰< ^Kgˇ^2ygE r~ x$ﳈ7fX3}ѱCу>[nb0cxSdȈh3vv?b»ɶz_;ƞ̖b 8,bYܧan/_rm wW՞uRN4d{ΡKv!Ao(k ?*QmQG@w%4Fu. gYZ3cf6553faf2eff73d87620a18e0956e859ef37d06f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 542a4e488b977119020a5c98f66b8e1daf96e42a 0bc87e480080be0969625ba8285c1ded7442e816 # HOLCF-FOCUS