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 O7  ] First_Welfare_Theorem:threads=4elapsed=6.208cpu=21.532gc=0.336factor=3.477zXZִF! ]ŗXf[&Cڝ0I'0M C$Gx_ٞ9uFv@ _DKZU6Rm/!Chwk0= odhBRcԨ*r1x HƼåSt&X 4e^{@#@-WQ؇G 1v j@WgIC:u/Lj#0"*% mFhwd&fX;0+i\4^QoyBro-}w懭X<_Pm!!6:G7 i9*$ػ cj k8R!;ermedg$ъuZ6ā Blml]d"F, a`62^_4t̓5=bsRw#`TAG7&Pll](TMi|7ɯMZzѷ1o4S9_/^B>4@-%2@488 nC~M 3r}= ލNw hTPqk@vw AL ,GtOjj j}#I􌯿oeZɜ,םB!X׵Cd0__M>M1.rF|;@dAdN% sxS-P|fECdJ8A#|\ɳ^:u ocWː1 ;qd'&%̚Ѽ։,%I^~_qdAQڀi —mKL1P1j31rgעIbӬ6'=yU-/NMg"ԫ$;I7+}0pg:E\]< )2`9]dX.gvnRJu@ 1Q4[lz&zY]Uӷg“>Meq=gC3{ %n q2f& k&Ǚ|Z[80WBHݩAq<+#Sf֩VgD*vX*!CoCHEbd-xN9Jq0O+vHW'$$KKeZ6dSK6shj=[2A]OdCI99dˉ7jwaɘXQY'݆qeY~qFm1IOƎca^+̏TMsJTžsQQdÄK)4QcTn&GקDlH'98N7