SQLite format 3 @ .0: B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info M t|d ] IOA:threads=6elapsed=7.285cpu=32.356gc=1.360factor=4.447zXZ ִF ! \] ŗXf1-qN50^XݾV'褃)*%\i`,;KE3/"+YRפ_LWb+GlxA@]+[Il-B? Z]$Bo5`,h ^9<~@uV֛9}zn[H݈(Aa7x}#3`#Cןyu.x&4Քd杛m@&~T@pF+⠈FIFҝcyaͧwr8hB]}wkvʡ,zH`Z *gQwh6V f9Gkɝvβ6r(dC3]7bTbik^_^uRb(چ'UVV,xvZ T.`Z.! #~5aCpK!qʙH$=.OE9=2\>N,jB0ҭCuLl} H \a _g YZ7zXZ ִF ! `u] ŗXiɟdN'LvH۹)s}%Me&Z!Amh ̨. (T{Ar4BÃۤ9qO0,~x|ޥWӖUkv{TCng (-!^yhMXIxC+x%'w̉|ڶ"DJU|WzjQzY7"ؽ=xo t<|L u"`o `ț1g YZ7zXZ ִF ! )*] ŗXi%G\#.Hw21زE p0N,q(\CC?<mb4 _M^-Dq1h9Jt&89.;s68jpG'"Nuk#ad,̣A7=N$[ep(gi *S^Q(,:ۧL6}Fz} ~[ $U;F{/ !GUTyαBNg2M59Ěgoݙ}v[yyzbh!}5w}/ F(K[BÞ٥MF¾356FտH-v@+4O2NGS`]/2jI<*r Y`dl4P.DݣlU