SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  + +R/| l ]/ FeatherweightJava:7zXZִF! ]ŗXf1-/6vRZ9@{q$Szyj߫iII_ EVsPsxM5!Sh6P'qz$V.3TUSYJ~]>fe֚IehВlV@j8!Y8ͫf)#C…`WiUgYZ7zXZִF! p]ŗXi%;h &xZfxz#q@ lx a^/.?x>rK^/GB=k?}r9M'tTos6fIĶxջK"g B'A0B*-Du;<[>?#Y3LVX#a蹫H5«(ׄ}tQ MBb$˾q}S;'EMvؾ7v!bBQybEC0 ";}T&KeP;<Շun!e%ސ˺30L 7K7e*# H5e)(}gZa6Z714vlQYODh`;mr|A}lj~S֎ߒ:YjYn|EwF'>?Nȱ?8F*F8ˡ}E$z!@"<X~b r/4Lq0="/?rs⑝|m.sYyc[l@YL/#\9wDxl$JZzCV7O`w,Rw3GwTCKlrW$ !UMT. PlBIȪrn'ĵha Ύb+j,?Q@57v>kgYZ7zXZִF! E]ŗͷƷ͓ACIYK9)U \y0šI9}xOD\(x?7x0Gvx0;z5{Ql/+mIi,wj8^RPʗp~g3=]iݑ51eA^㠅 =%^?ȼ.}>ҠQ,Wr`.V~"q*c{E&d=m*U{gОXe}!\Qt"QA %&E~*Q5AYA2S=  UϩsܵWS=Us"gYZ761e9935617da610726f44d79997ac31a76f08560a2434114e0f5ff2a700b4a6f5d894a41f7c1240 6e1fca943c4c583766dbdc0dfc914d2481cb449c / FeatherweightJava