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 F/ \9ŃrSL?#uwK#+r7&WIRr;G'Dτ U^-Bb@r,*aj hDTd(5<ʃͨWx!-S*NWk,@uO#Qt`P%jMQ=~Úb~TJFӕ Re0?yI_YTmT,Ƴson(? FVϙ"GVձgYZ7zXZִF! Ji]ŗXi%GЛ|/lb/c;at/6{YInbbOA ԯ/U_d5. tC["K3N5d)HXoS >OLwm my ]3 س-J|%޾;Eєgk|Wd/&T2an 5/nU(%{-ԂlQ↣vDA_Tӝ.0+u.{/d/mP2R|5C{wqpndUd[>Zp'qzp7"zYF3VN~ ^K.L,`LafxDKwh|ի*kvNOwzrr1&)PT;vIz|D8;pF= b4ڳڍVիiכ=D)>j["L𰰵l:B\S 'gL@qj-3vů(H`,_Qg󡴎 ~ʝj GLcڏ?>+HޒpT๘CYas`CT\P2ap ʫ tčմYP+ *_nNՍ&cigXcA@ڵ5J8虄 ڈ ԙ9Xȴ\Fҷ,,s͕Je\l7o !ʚØa`[mApT{} \G-%i d :T x7$O =s*&:bisSP]$p߫ ڣ+yR@U;$OVu>Ec:`5,fAS& fk{`6poaL\AfweӥJq-»Jg>Ih 1W u+Q>/i+m5K5O0gZ1&ˏ^Wl#!w; n$@\cxI9=ƨN @+ Fb cOg{j"LbB*WDMUo9'Vv 6C2T$pwۣ ƕ'KgYZf531c2ae786638d61fc2790e8250f1fcfc98e8eea1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3 / FeatherweightJava