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 S/ T4 ]/ FeatherweightJava:threads=2elapsed=11.778cpu=21.448gc=0.792factor=1.827zXZִF! _]ŗXf1-/6vRZ9@{q$Szyj߫iII_ EVsPsxM5!Sg\5NJn>Xӕ Gi.Ǩ}U,wt7.J֘ALH%gL + @a(f){8yjO,SUO6:40ѫ\#H}J1'9I+v†K$r]9~WӬ/!/@RG{. yƬjW t,5e.*GΙ\ذg}QOJtR<5:. (=b"vy|49:U#-lW윊lJF+5vxhd!5vuI՘SgWgYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#Qt`KK:fPg3D]'j"xκk/g~S7H/m7z?BQX¿UGЯjU?IQLvH;BpAP̔-Z4+(L[:]]-fP}T;H$ݑ{a ~@]:W%Oɶ2 :7R>䝦ݰ\ 1dsLJQ)eWfP>_lJ{G 9K"b.,tnmp!P*3]}9yg$x6G9 'WMD\`χ19h:-6cUK x}8Ne:_^&`@80tV>\RU&~!Wv䢠#rd4hn̔=Z5^cO0)ye2%ҳղISv+e4WgU@z>ыBa7lRjiϹzٹ$yDXg1nPMx/5Wj DP(YB"-(2=E!Fa0BKjzE  c&{ %Y-c *Zg.ڴ<JMDkyÆXD!@/Wb2jL YC6%t&uP{O);Gҡ~7gFC={"JMw'əU[ݍ#M4d)KrG1 ΄JfO΃Շj}N?{bg$jns}- vwuwRHgT?}珞?lnIuh&QWYڭ&hQ+^ߚ)ISPP,R'NFffC_R^qeGȳ!Kt%] 8NcJ~t$~3@|]|)Vz{؃wtS#ۆ"b bw w!XL GA[? ՟kgYZ7128a988c0c8228f725c12d7e755d0c2e495ae25a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 / FeatherweightJava