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   s7  \ ] First_Welfare_Theorem:threads=4elapsed=7.288cpu=24.532gc=0.644factor=3.377zXZִF! A]ŗXf[&Cڝ0I'0M C)nEnKd.2xTSf'Z u.IG5g`Wq)Q頡Khe8RсġFdZrJFS_Q B^Y|)Kh+Հ7T { O~@]1hKr()7;'4t8Dh8'Cƨբ[̸xE7D Ѯm$O">,*bZu5džqw y=*掾I bi`ҁ瘈qlK O+iy X'Sray-% eo0VȍBgcKiW1iʉGsDe =*{ tj˔dXb41hL=p)Y;QyK]QCuT Z Iϲ-ʕѧ  mֲD\-f)}U'kQ?[,Ndxg܅߽k=nOt"4tvuH #һ%vt)<)gYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSKs+\3.j^^RD#L_Xd2@zGDhZE"D$d7˴5_pMl%CjÄ[ #wpѡ>%'. /{bpV7W3QCRHV\n5*@3Ҩ `#nӤ6tы } gYZ7zXZִF! ?]ŗXi%Eb⬞/eO:3g.vŮ AC+yNɣl_=7Y|ro௖ʂɒTyۃSZ|.sV0FO*[y?$P ~ P5$Q y<8Rܮx IJ.!g*H MΎ:PsPx!pX~`vTAFz-eBŽt?F16 &[+hGq'=6"4Yl%?>#Gڐ^ϓ8{DHv/ـҗRS*qYNЬYXxdnıF]Rb$+1K |?c'rxbBY:gVؾD>'U9W=BlH<&e htQ4Ok^H+L0hl/pUU<)+.suǠbH SkwLrR(@Qw;R+8H􄰦E]:~Tͦ&n