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   ,DT ] Bernoulli:threads=2elapsed=14.437cpu=20.080gc=0.452factor=1.397zXZִF! O]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z3@z/ƦFǕGĥ-m9xh$w[r$W)M<"wHG߳fd0qC}N%:dIk2iyRk-ٸ\ 0gLo&e5O5,N)5k+:1RG&[ir%+U.AECW,kSEmLc 6hlRf-$6BlgK5i',3f^H_@LZw/1~3i+gYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLf$M?qzl]1ےr)MCҀ;e"ڍeœת}r%wc!71X+jmyaL3`fRo 9v>YDnEw# gYZ7zXZִF! Ob]ŗXi%9#qw~mx钕13x׵hU}^׽n_ΨagWUT 9m*CH ye[uJW%`sG!I, !FkY4=I6΃ԣ֓hSkP z kUotnYdbg mƕAVqr:J\2 u4b;`b7;|ulEB6@^Kd gb,ce@y3,2ud$>Sw7nO$fj1A%OUfbmNcS[ t8\@ETPxƚLG:ֳ! eIJ/1t/HX yY!tĬLd0EቄA@OOBO : [cKIGwT2@<;ζ0cEC@FwηQ@hh4M89Ǘ<͹8S=[ 'X;Ele0xAФ|P6X[eo@D+Ʋ>3{FC*Qv +H9:G|E_B4dEic%u͗EHuyuȐ IWՇ3dh*L&}C$jI3H *ַ)g.L|n]&ܫ%ԥ/b nmu\z^V&Sp NY ="jbO*pϓ~0Sn 2 "E?-DT{q?bB*r+ 'e{a9/f])iV)5c=.q9KBK9K*-4kU24\zf ԩB Dw Sv8Ҙ srNTO1%TsdkޑRYR]&;#lSuVz:sq]`G=5 ׸gbG_Fl_Fae!d#;_ 6E1~(W8ғ0v$~ӹNSC9|}4%E~Y+4Sl=*ZJsPX(gYZ91a55f93d2f56d76e8451c19caf35b9a95e6e3348ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef   Bernoulli