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 Z/ DD ]/ FeatherweightJava:threads=4elapsed=9.260cpu=25.092gc=0.836factor=2.717zXZִF! ]ŗXf[&%Ym7۷kX@s /Ya*`7U0~\bx#H-}ܺ9ڔ ՗k|^9wjGG>S]eIA/dŰqg>JRNQ_dIɥ(QWYl g8h8SpH mpX[wK<'&‹z~>'{A?#{@Y@w6P9,pQ967jFRq~/ac+@ڭ}&g+fcU%Ω~;8ÐItCcO*},!TP#3?Wҁ[_@&xM~Ò'T)ըCԽ,Ce*NWk,@uO#Qttkd2$#`={UW[h"+ď^7xa[P7&]<~iߥԄގIN:1six4f)bA XBQYZ_Fy%(Ʉб[]_{έiH4qS%2V2+&1nmsub0c'LXGKJ: w#[Q%'dJ *7ar=%[ P8/ȩeг8KP@)`1|ҁ?G#Lo&q?꾲$ʃ[=/D-NWoVDtz;%ت,ѢQ-![!J\µz)¾ƣ+Ցqi#L ࣎d4SILUtQZ W>j+ P4=+OnE$# -\̈ **󎻰٣ܕ9( s`8|%U(tP'64 #(\E=4ՁpXydϨ 4m\^ך>'4‡QߚB?WMq2Qs@c; a4S-x .Y skzb3HhWIC/i" Ax ˝W߰me@t&קWw]Nm }ΜlK"#ۃ;CdySRƨŞ3 Da9v3OZ{Byrefmʠ<;@4h3 ~ F4PFYRwog Hxku sX#*L!.}6 ΍&y6utKU3FOWoBcTa[+b?se7abg#8SPeu6\>Bіe\! @޹P|<Ņd$<;