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   f l, ]S Codegen:threads=2elapsed=6.538cpu=12.660gc=0.724factor=1.947zXZִF! p]ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4r ՀpmLe\hJEuFJ>rXV-Lܭx7DkFPЋJ P+22˻ܸ9%о㲓]|Ђt{O>ݛ%fϔOQk=Ԙs#=FG0PzWSUuXN)F:ۛxYn mLUry"ei%oG*w=w*Ȥ\Xcնɫ{lbW^; -e\&l }Lv[ ԛ09.T^gYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`Iy(".('!bSDZAH?݋}T\+$uSi}P;_9=xn^$g)ATiAA _@;=+rwV0kJu Jc{BW^6mo# m; -%a#^[Urz`agYZ7zXZִF! s]ŗXi%;;_źe rfX=!3{6$-I.lfcΒcjKoxeqՐUcUPeCYUpI-0v%[FU%9Tgjzz9Y/82`{=WQ{ùkF?rjl>m9Zxm'42<yq]+>}ηϏYi4,e`cLb,YE qSH#Z+OQgszMTI)6*VsLs/-r܀Y]Bq3*7qD?f# VEpW~B4kK{)aa\+ch=XeA=疭B c8sk2sN#z#FZ(,I{ {}'w[Bu2,ޣ_)ꩌ"Y]. Q@i%2n‹Ox|Pa ⫣ʛ=CcƌW9gSx%e:Nlnҳyd& G˸-"f*_+ Xѻۨ(mմ+/Hƿrex-Q t )<SẖgYZee343af21c57a0f89663004b57b9ac6767518e2cdb6f05ad5884c3d4b639d9f4b203792d5968e568 8f4009a03cb4dc8972f8428957511cea3c656c5b a57efa7649a3294a1a9152df50ebf74ad2bf698c 2763d14bae356094c47bbf3b9d085f6a81aa8e23   Codegen