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 / <<| ]/ FeatherweightJava:threads=4elapsed=8.197cpu=22.456gc=0.776factor=2.747zXZִF! ]ŗXf[&%Ym7۷kX@s /Ya*`7U0~\bw1:ΆYQma+v\"#AסF?p9T/Ei7 "9 &5[!D"ܺtsI^#n^^'Aʧ9fM+V6XYQ@qۼ͏~`W> {'|rڝ5M{n)p Th0-U0Wv4W D䙡,kH+PB9SDK@7 qEV !p ! +8Ϩ_ck0S^1 bXHYߡZ;|"puSoal&bOgYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#Qk6se^آ3`Ȣ/dUY݌&Y\!CvHk 9@/MMA) ۱2Jv۫MYp~{UHڷ1v#:ȱgYZ7zXZִF! B6]ŗXi%GV;Y}'s%^"v׏gd/+ЫXI8_)(Ru2-#F.r/LBo8/Wr5HQv.<.2}h?UR 7B;#qC]z m%Z$Zk YqW@ u~unO}dwhOa b]Y,wc WHH* v eL$FR;0(+y2L~=]alE\_d)z. L(yj:kG 9"gr"Ҋ͔.)qs5CꀘqOHJ̘ŘktL5ڏ4jsy[%ה5_j+$V skEo(3Mœ u }<#y+uqs>Zٵ)6J&F^F3/PMqUhcFS.U4ʦ٪a` 5KUhmj?ozx#Sq!qLn7x}nu}蹲?oDBUO@&bRWғ?(4B=G'OI"hz)oLDH-U ygYZc75f6f463a230c8c33f90e4436b05086cf1b67914b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 / FeatherweightJava