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 O1 l$| ]/ JiveDataStoreModel:threads=4elapsed=8.844cpu=22.148gc=0.596factor=2.507zXZִF! p]ŗXf[&WQ cx o/#Lq ^CtjGCfL-K+a*F:$}{NfvX)/HN;_P "m3e w@Zf mYQ{pUstAHΧa~Xdq b8RIz@YA;*mE\C OQR/B\|$PdL+Z #7 + pRRҍ|Zx1$"ͥݾyEljP[j(?:TED(؇C0o:j2h_-=ꖒ^W>Lo`.ƍtIU!ɚGAzY$61LƱgYZ7zXZִF!  ]ŗXiɟN$s2a§2M:J1!J4ʗ R^Ԅ.' ?ak$+e =zIROִ1N_$u<7?؃Uk_=z ke*3129q*? *4އQz#Dm1Aރq}wm_[3`P>d`_ZwԧM¤u^;bpXE+rZ+ WRJ2 銗X=)v5WƠi|NgYZ7zXZִF! H8]ŗXi%B:g`,)2nS-bu?U,bU,,$*ǚ&*4%Foe9G8V]P+vKFNF<=JW\!";ܸ>z1LZXٗtUw|׻BgnZO)u= ˟%Af;H8{xN.`Mw2;~Q']<]T RQ)si'"r9rY& d3i]_dgHۓC!1Sno-ޤD(s'ٕ@%=iz%Ģ:zsSZj)}z͍h!Mȋ欰-|kg~ވc) -[= گ2 ?2 mImG*VzO>SIm7Umw/^ol"\fR@eWZ80ZXn{5ܻ|j͕3HUXe!XF2S;.|BA&x\cT̟u}5Ưz'2F<&E;g#B?ҲqueQHhn 5돻W%.H޿_{zL+}QVg0 h{U ?Dir(dȁ."kk(.!r%A3N<'E5޹V]7oUQ&ZhM>)%Y̻[_+XuDOǽ5K:'CqTH LqOb]wiӨɘai?y6iKo-\GM^Bu94L;WL YAϡ7h.:`"|5w *H 8c., bX UT@EbDo [[=mlD3Yxz+jccb#7" 0*'= nЮh ;޿2>I z"J}Pe@kQ\m^9 ޙCQǠzhᢊ2L