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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info cc tT ] ZF-UNITY:threads=6elapsed=5.750cpu=30.356gc=1.192factor=5.287zXZִF! ?]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b SJuS4EGEx$D8:m[e?`1R81{ \/Wt[Ku{dK (#M?[|"^rHI6e2~>.)V-j`k̯ _ ꁶOQmn.VFݖ\Kj֭Fl6֔?D+ޜBOT]oiHw|\{j!' "~վ ˷I__|Qij*)gZe-m*_\ՍwxEM ݦm]YT^&Si\ lPpIxA—@}GnUO^GXF /o 'XIC!3%bY4V 1X\]5%V\jtD#_Ad=*tcgKa*=e Hq&+["KuyXRb:`dh2[,c[&wFBH#bϋ߱ʅMרt-'c:,(M1Q$92Wۗ2epΈ teu$=xN4aaǽ 'W9s t:F) Ę Y8dΟD<14=`],3C Kd>оAɿQ!Yp#+>2tjQ% zb~_%q P'JIP5,"Z@П{~E ؕ.T!=e#.B {+yxA,/Ot8nѬ~>TYYn,.^!Km?O۸9G!φC*e9!%j^EwFݡGui`C`Jǰڲ,d@}7Jm>Ma(X_,):=wbR2?f2̻q5_l`B^_enoo#L*-AZZB!^-g[cլIy 4g'fQx/ ~xX"p*E