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 q t< ]S HOL-UNITY:threads=6elapsed=20.097cpu=92.464gc=3.656factor=4.607zXZִF! 2]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yxז83DBT9#~Dn0 X=>;N(^Tlc^ GM|bg;gmR8dt{_zdU%cV /=?,"t^b1p^#3 %cha(LۡhQ8RX{=sFQ5ņE!b:|^uZi(? Ap[5f& )Chq{JL,dG    HOL-UNITYwqZOhe]E 6Fb*k朗`ݾI2> WZ`0d^XjF'Sb# K|`cz-QsoBHքmso53c1{~5b]ׂC g4{y4\Ԉkd&ߍSOAS\HaShJj[{wg4VCDS\f\XM]9 '.H˟K=N} KA/[ e rct[5󚲂*TC^Q5ɱ>[ ݊)S2eR )m~֜%P ͤpcH>JM7YmbobNl/,Ll[#[`2z~~/a769Hյ. ,SʺCtcEs3M NKPY!%K9Yq!5&-Z^-Ȼ.wԓe3L|"hlDSog%P%ܒy#(VnK1 *D^z$Ѥӳ|(@xd́Nɡ5%@Jr 5H߅UxnY:׻OM2 7|H&4kSzeD7:h=|3zdcIWYMi yHOB* 2s;HICֲ֨[NgʼnYm;*㽑LM(lA9g( !EMXlc77L׎Ю ƻ|FOL.[B׮igE%ºҼ \1,T^239qKG A/G=79M2U9TX[PRWp5;T W .cN HΫLݡ W/]m0ů aOK28&^.˞<6A7WuG>94RJB/(hl Dvbp/擄L~9;AAl Ti? #ȸc(͆dJWv"BnJ\K22=x$73b,GiFPT)Md29?*9ZWucLvDFjx@ͷA "ږ+.iiЉ^_ЋԟQGPj)ULot( gj¤U.dN_X'K/Q4(= nfܕZ9MoZ7j3 miH:o_CHu`C~Mu&8*+( bfL&7H5خjQ.$űgYZ7zXZִF! _>]ŗXi%6\NJ}ts_MS]~;+Y>}ƆGt PiM{ 7]`\}ty WᧈTGX)o jI˶ JZN3 %T*D&;^6( `!mP ҝѳ|.(sEo`;,a\N3fh\N,9%Ѫg_$0L 3r ?jaNΟ\HpNAAϠzNe]n3ī ej˝quږ؁ztx`0$ڍi^#25ir+^fm˻8dFB+5Ѷff֍ ̼x:m"Ș.MIm n]FdMnn~g&\|z3%|giB y6RTT5{a+NJ躢'з:U Ӹb+gi$`v f>y| p. J |TYrd5hZsMҩpËS>#QgY褖{&Y.f..ul@ &Wis?Ƌ ~S kDŽ_p$53GX̎OQJ*:=X@\;+w/GR0H$Ÿ3f#f]Obn sbP(ۈIٝ/e8@:]c$iW id0-БKYvC4SeUqRd ʥm#tŞD/I\cbG `_ӣIZ_i`kxN(*| nl9@'d]B iJi ,y}HYnVYKگrڼ (F$GNKzOQ0F1bWz6]: Ock(g8V y۷N?J&JEUW4 1i$SOl-Uצ$=[+̄fNQPZ≇.q!}jH6eωP 8b}W<}GWyA"%O^f5Q"[`8pbZ 85ED}OܓD=* ,*IJev>gIQ @cKc7p-UՇ+_rJnPb!(CC)~mrbd9KV2j$adt =ҌT4gFYHe$<l4[ ?oFî+sNJgYZ902aa32e0f86cacbc1baaface2b9854e013bed9eeb06bb30852b87bf08fc9bc974d190b6e06c78ba 540a2732a3304e44cc5d86f9c84329d38f7892cf d749aea517fbc06a61631cf5289aa51b1581c100 62366a386c2df2f764fa72b7b142f9adcd421cab