SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info &&W Lt ] Separata:threads=2elapsed=14.063cpu=27.008gc=0.672factor=1.927zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^N);{30fZQ7֯`r0D7-Uh'7uo㼑|Dž4zLnT~Ν ?D.z q X;u"wE[1_z:&@ưĿ7Ϳf>;7c-xL[w_}l+C_!Lb x㕤ԢLף}=3fjaV9 A ~V@>U>B; _Jƍ:!gx=7!)F ' ]q0F`ב]Co 13gYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰Ko?:] s'w:#^tdX% xI1uIyOd"![ |]& =Yx׬@'f@8},k%GgYZ7zXZִF! Q]ŗXi%;+R)=nAp[6W&zȨ!ZJp/ʻ}dQvlaB]Ybt$ĮĤ-kǛϖk|f$[G?tx_ KO.~ꑓ.}TD?Ag`jj f!b|( Nk$."DeV*bJ{#JHE8K <;(`N]`2:zjPW O[ 8֜LKrk ]cx''%㉡Ջㆌ1Ik@<1[ H vz;g--$\c<cjk/gQY^k6EWзkUr͠XJGѡmAcs_fby;뽆D=ءv"`F|h_qL[z)ۇG{X'LlVӌZR/羭Ӵx@Y2GDӄl6[M۝jjca߁_9(rֹݿw̖`|ao`gAӼڑ}=_9Ĉg$8v&l.J;n+0?q3?3"zkS{f[4R+sG@?Kہ(]8Fzb2#tSm7$ oӽaB넢\tG:\ 8- j0MWij]~7CVhUۀLPLTf̺ ͪ,{s=*wLŬ7 N@sd~ Ȩ&~47C6p 2WgYZ51506af65604f011b5222f87f1bd39e6075ba48ed14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad e816bd9a9dbad40b32295b442d799a64f41259f2   Separata