SQLite format 3@ . BBh77otableisabelle_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 N \l ] ZF-UNITY:threads=6elapsed=5.255cpu=25.804gc=0.868factor=4.917zXZִF! ](]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb1jN ^ʖ4YbyfUwu+9 7^WC/C-^ ;t=c!! }Hͪr֏VH\F"'Koun(%G 3=5!C 1Kܖ_\f&c4ZFZbǜ6-Xd긹p|a>,pv;ε#9 L{8i7\$u j^ξdj0;鉗M2,<Җ> LfKXSx>wqwt{Hb>~\'s$@B@?SAH̾JNt^Pa9wř=R1e ,^.R8훩P\2#PHA7.Y=ZL~N*hJkJrʑ ߕYxKY{/*+ &zAG-"[abM,2S&*3Uj}ud#Qtznyh \ogYZ7zXZִF! hm]ŗXiɟ9 i:4V;}A<<ګMP7#\zuoQ$+H,pfSOWT2Iڛ!* Wӧ-a+(T冧=lץm0y }ݮOLeqFŨ)(8vI1Vbwg( ̘LJ}kAQy. W~fke9I G[xYnFR͉т[堄 I8!= }p_^ ;`S߸Fs40+n쳵C=:SNou9P.AthWK5\S!m?;Og_6Q+&ney< y`gYZ7zXZִF! ]ŗXi%;k#ATv{fd~u5|;J7q=vjq"rZ ψt_8(=cf:۴w^y:çIDAd\kޥnJQoj݁6,y.ub;vڇ0OSճ UB\L01;͜-胛!C'"k$ Cߴ`QsDPIMNy؇eacb5h7zms,/"F2G?]jcR< a}?+*l 8H RP%I$0=5&6G |Y fgtH+k tB0!RAK{lKaJ8=u$Fl佤)fC:Y&͐lsY<od_qTdB v_<[kѯ.' " sAr9|y!]V}?sk 1Z؇w7[޶)h!pINDS\,0b蔷!j>uVv3}@ Rs(tn9n Z֓]Q~mENrPz9u}R0wag[`ljܸv\R^%$ =HKJ?ZQI's =