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 \\!) DL ]S Dynamic_Tables:threads=4elapsed=4.408cpu=13.880gc=0.192factor=3.157zXZִF! Y]ŗXf[&M[Q5N,;XYRtd/ϣ ho{f0:]Sk?)aeB;JƮww=Kx.,d.Ky'a'k2I?IVTr4SDgpoP4BF?yUfjLB<߯#k{/~K R.{ K#Xu]Tg̗M#Y=%aF )I22]<8=)C1 8RS WI>Bt8%$)սd i%LXs2WI+%fEg:/֌0dL gYZ7zXZִF! ]]ŗXiɟ:4+m.a9o;<mj}2/C;S8{9Ѻ`E:bdx"2qd#A]Dɝjty R~gYZ7zXZִF! ,6]ŗXi%B:g~y@U$3>ɔ3?Q1}x,*NEv5o#'5n pe/0 0 T B(k^'a ˉjc*kֻb$9]$/wv!SS Zjf/5!ۋ(լԒΝ rWxmFO MrXOqÁsB9:q5,uYǸW)O`iU[Ÿ@s-2%.2<U*zw$VxΓD1)!6$zѲfS#[?E>(!%ǴbeRE൛>ptfK`C+ pU"_+X#ymlj$ߏ$5.f1T܀7&}8ߐ!m|&dY?}yLM sDjc/+">f*S-N/w"b w[+D5ɐ\(hc57Jm!z1SOSMSR!( ͺF:'=΁9@+-dN,5BIbpS}lF "I*ٽ-Z4Pjgogn8!LO RVP F.ɹU4τ ?oS5U#@uu4PS?8H~jB[C ʄecO_\nXhU'h,ܢ5ŸE%i8xf[L/ K-/r eMs 5)yx곎hnx)hTX\gYZaab4fc8dfb6272c90a1a7621f4bb57dccbee746f13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 dbf39e4f2b5360a703b87ef2388ffa91654e0a6d ) Dynamic_Tables