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 u+ \4L ]/ SenSocialChoice:threads=4elapsed=15.464cpu=43.256gc=0.540factor=2.807zXZִF! ']ŗXf[&QpJa5bi\0/ n~@m \<&.U(U囈$.WCU&}{i|A>#' Sb_ixh@b{d}dwe\]vZ]UZqIaNBBթKn-[ X񻜦l;rd繾o%}sDlZ1mi2oxcmP}JޥoY.D{ T#P2_vCٴ*g&rVa(ioƊs^s0dݯKKa!;G 5ըHѐ^`wޛ*X lbrO3 /׍݂Cխ \5Ӊqc%QI(Q=h0v'{TmEe@2ө\ +f6؜-a!4Xxn#MCl{TdA,[&CB4A=H4W癶MOEiX̸J:iLr򲃫23$3Krϥ%B չt"|gYZ7zXZִF! m ]ŗXi%GV/,>"&+_E>\rd,@=zËCP>_e9`v%bc.~1Fleg&l%%׼",~ 8 xvi~XNل]cP%I(B =c=r+}Gء83.q$5^jen\!Evu~?ļ<|t3072C8Rp=6;{zFeY nOI]v8u*2?!ʍv^ PR>:/K$ fw'Epz3W͐ Ҙ52U# >~}IWHV*;,А>IfWf 5M2u<Q5AcwVx3<^VB">+ӬCE-&ɤ)mOMV89|m0#js.❃qDT %;Y[}\k[-ޢgϋjU\_{a`'Gbz! ~ן0.A#[9W(0a^M3rs^Nk(~HjI?,gO+XÆ`vzi'#+ۓkupp\f["AA*cW/@}Ξ^ϒ.G|(m հ~[D:PEt'̍%K14ēwz&>\#撪i0Ô@,iuV^skl6~D@BFǽ T@K=ƆBc+7*u7DՂ6U3h KXj4Mt&T6db\vgOFF8PTY3hXN ٿu0("24б4ȕo$zr]gjkS#9"TAtn_GwŪ92Tw&JG>`e͓D^I} HWe` X0CG%t{_ьӒ˴B _3ŏY]u͠{[4$#h&;{BA/ߝ#?ׄ~ỹ>6A^𝀢X|g&CX r@)4,`S]N/ч:vPx9#`)Do yKb $Xm;fuAݭ%:̖o-<$8W~,2H>