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 '7 4 ] First_Welfare_Theorem:threads=4elapsed=7.737cpu=26.148gc=0.632factor=3.387zXZִF! Q]ŗXf[&Cڝ0I'0M C$Gx_ٞ9uFv@ _DK5`cw־l|翖Fte&8J& Oѧ7cb]Jn‚{̞Bȯfx9CzfuIc CUKν-->~2$A~T5>g,ԜP!>܌7bwV3s@M"'TPua%|_UBO ?&qC[7s~[؏r=oNfHH{bVۆܨ,6)jfgYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSGX Dcm)f9W0h\Xa\"g{:߻%I ڔ??dؼ`,[Jdp}3؛)b:PNM79@ yB+Ysm\ ."vxPDa{ 5?FYk߻O-{&F<2oTnsD!ݖ;oW?[E V{iswb@G%4e-×G9KZY\5JG) --!8O*C޽4ģ-EeFw}uA݂.+AèȊ}mQ *y&L'ךS3\vn_sesI-`ɦ+]npӛi+$}Èv 0`i )\QꉜKHͲs"΢͐ufͰ b8ˆqDs?-WlPL1K 7jҠ$ETϕ0pft6܃m+'3Ҧh–Xr{)pmOlƋL`ֆ3Ÿ:x[;=W~nEBL