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 RR+7 D  ] First_Welfare_Theorem:threads=4elapsed=6.829cpu=23.388gc=0.540factor=3.427zXZִF! ]ŗXf[&Cڝ0I'0M C$Gx_ٞ9uFv@ _DK>Z_oA,vaA `AQx\!/zz g&pȶ[q% /IS ژ.lTCit0-UHGrMQlu4%x*gYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSFA m[!&YV1K+~<ȏK WFB5+0 m>TNJJI Va?#{rVSG\vJ,nw~X=pF`GIzȌ,DNcPrulL6kR-ҵ ̗}*TB|^ʑe^t覟$s՞c gYZ7zXZִF! @]ŗXi%GV!"V_FrQDs' 1z;g<] ܞ! K 7^ ܟ:?:=~ k:#"zl*7XK['c0ߍ۹feecbHuP(W~2 ֓Y]A')<0^x G/Ѻ8aYMx-z2wŎF{̑wWeAMmjj#B5 CϖFÔܮiE߀: *#w$:v/Xr- $A8('~/Q8v{u_C86>AQe2~&Vz.eXp&rIIu [T4uH m\+KF*k gQ1z/zjG!]8f\y ˴S(5 S`Wߺ̊acCb$Ud3U'0WF\`+oiЉv-0(Ve۫Z hRթ,]B2; *ړ~>;l6Yq+*eɕq;PxHcU^