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 OO. ll ]]]ZF:threads=6elapsed=12.233cpu=46.300gc=3.124factor=3.787zXZִF! ]ŗXf1-) enȈA XR„u(x3uyMQUخ}'G`ffh&ڲJՈ>ܙ)̴/UXܦbgi:do4(ROh9*vr| 6㿆VsaٳwVh]BX<Ls">up;K}$u0:9أI90 8ne3].+F̱͑Q;b?3JcѠTO`"t\e&CIua7TvAΚt s\Z+O0Fsݮ,BCc ^y!NomZEk\F]Җ'pզC6].SBb˙TtaȺkrPugX7!^`ׄTہxhvLꀦG 3.5& *5m NL`tm-nN$<8=Ll(wx9uLvz:s!-l ADjkB* ]6d~& JˊQ^Oma:T#BkuEq$ !t9Txd ։gYZ7zXZִF! .]ŗXiɟ 1FE`空®YE+.\$C1Lo۔3-VN@,{Bw!a\g[uwІ"3w@ "fR"ɋpj#زq=wRwOt"srC.' `1;`ڙ\k$B69Ыdpȍa^!:<%( {vh@@Ad~!ts_Wz+SPkl<#JkEFL^$wx:O/"|ecya$~: n{ 5~4:-zǿ%5{VbGJZD?K!#Se#L;l)gYZ7zXZִF! F p]ŗXi%GV;~ȶg#h'ت@7p>?j].$f;R1ō.Q.^72x92ūM0@@6T0™:_%wRCnd%cZq(w#r]5C_*{TX}ZMr?`ס:@q˯ԶB1*_)$.E/`7JB_P46#ɽ Ovd=2;"撄2Un?Ѻ iWzjTBFtUZ:/ nJXI,$J}{ʲP=_ 2*r&,J܀,Aq(Chb״=(1f<%~A좖[+ dnۻ&l駷:/Q^.s̪YUyC:lpR5y-q:.X{Zb3rs2~Vl8f|7`GPlnjQ` "keJËJe_.LΡÝeʯHs7VK0KF 8w/N5Zjc@Gو9R֪E dBbP [81|zt^=΍dyie;A6`:Hb^eO`WJO72O#%zU[ۓrYSCXPOɆ2Xajm3 _("\\ӕP{rK?~]_:)d-V ;ޣ 8̋20W,-w!9U8j?Iqʜ~^D=TKO"eǑ@ൖ?i.'M ¹`TE9Qj/|ݢDr\9%:f +5c"/; Rib/a$Ig TRJi,(ԁu!Z~.FEsT#!(AiWkv"~LH(ؑ'bz'TEKy6NQ(GKNl= %'aLI9etXu%2b{Y}b WrXd4bݩ Igf ڲ140 857!DKxL˫dh*e @պHۊ PYl>Kb< $fQ^ÖסHdtF Vc{F(sf]*i ˢ adnzOdu?N 5CHYJXij}>Id]V/50aZ7ř\zJ.6|\Bőkq zY=kjZ{ Iߡd3dI?Ht{SQOW jZTR粸c0@onM&R)7-aލW鳕xvtߟ3jɰk|3.2}%]ojm,`RsWdb"3H(Ktbmȷa/ő}NL3oCB+<$uX( }u%C;6(ۑJg=QsSZ])5L / gbqh+5'> P&ۙgYZ56c25fa1012a7f44d287af99a74cc857ac5d5d875ba685b34502b4975dd781c9ef731c56a0e0c185e8983a8d223b5efddd177324ba5009d0818c4841  ZF