SQLite format 3@ .;  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 / ,4< ]/ FeatherweightJava:threads=4elapsed=8.540cpu=23.716gc=0.888factor=2.787zXZִF! ]ŗXf[&%Ym7۷kX@s /Ya*`7U0~\bx nsɊ~VNz>lH2㾣o_\DCaz6riӼ&t;V1sg`R O CE`G2\A6*{]}Pjڤ gi|jdN]dR/tfvsG,hN+_ ˑNE{g5b}" ZpsE&YC/]$, mg]] F󸝫fv|-Nb|gB99&pH⾷cE h51ۋI-Wlǧn ]Vo]g4Yb%zaԜ UMgYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#Qka7S$6`f/"8$C~(MY mM2dm[<0_NC^nllԿ6[I2ӏhD/pঞHTR~Ud O.igYZ7zXZִF! GU]ŗXi%L S'[bؐ ;x&c~Т-CJ% «fqN`:LCp"[rZtϰ1/L`܃%&(`: A#Q͉UdYtrʠ l Qĉ=LГ}cR&{f~=C4t "eqNhmo y$qiXX4ةƒ9?IŰys@<&h7qݿ^0 iC㏊nG tȦ[kG_q܊4vۆ1KEܯ-|))}h=+y WCQk%L.Ш ̃!2u<5|c9)x|\MLk sDI}ut͎{MA#[1cf'B bki| coQn mozw D5J;;{ۥ!r{atj|"t?[͒!@FYp1 ]܊ӌqndHdSSldhgc@xXh𒛀. r||wj}&EZJMUa?Y)9)  rOT{d?SYF$CZHľ3"l$Hh6nkikhSVhm:e굄^wB6h]M'O\@7g-㷰mO۬f}eD\?*(-Yk2<:*5NGE@Ĵ(^