SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 zz l ]% RSAPSS:threads=2elapsed=22.095cpu=41.420gc=1.616factor=1.877zXZִF! ]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃ᩻@4 N*6Vh[aA'fIĔ829[ dvXQPkL}F Xǟ@F ʋZo a[ ܂/tγrL|0ΠKmTaď ʦAwӓ S6mpߖlFa7 tr>q(M|!`*[zN+)jВlX4E"CLIBf S{ <_]XCׁȘhMZcy\|!%mX{QirbL7qʼnms*ڷ/WgYZ7zXZִF! 3]ŗXiɟG@~W/o&AIbA>?ENnXqsG9]^,GC =Jb(ϰ\pi܃.@wPLhH~mZei.Vۿ3!vO] .: #T :i9b%eP@(3š/G }Gv)UZ,|u[5Z"y3]Q^"387Nد(H'6>ƔԬP0z\+WUdgYZ7zXZִF! x]ŗXi%;4bpRonh>&8 -6fI -L_Zk 9Ȍ[3{d^ŒfzV3EPPNEj|FP/JQmz-:G^-/K&D֔ڿG_0kgJ"z\ g0CsZqfy#y[5=i4PJ8J̽ve? #$ܲ鄥]+sc(;j_8Hi|Qcmc"D-9Ԑ^8CFóߗ$Э@b#3@ E^*PgAM`0_MWM,$ C21as;gIć(x5R*ʮHfI7̴U{M~BۧE?ȚtȿWD͠$#o?N_yeٖC1d[N;KU1(`டzɉ{fi « 9 OAF¹zׂ>E$"IW7(w3FZ'Oɢ;3(>>/cnJE 2*o!a6LZB;E#gb{f67*gw`?BM~G#CHgVᳫrZ_B7Rj`0Zi\]63=ncXԺ@;ݪxy;ݳ)fsZ7j?Kj. JODZA 8U0 l"qۏCN *Lot(LHڈ+0Gt[tthܧ}մ䢑 za 0n8$)gFb"_]Qr8s%˄lzyk0Ӯ wh3C'T%f8f"lb{Az{u'f! ȠEIApUMi$AeDDErp0 LU])Q*T*:?W MAY× 3|oCW/d@|,C5PW> .^؎!񪍨~oiAYI*01Y"nXow>YY܌K?e \e#WyvJ(Ң?#bur :) ۚҭ$!L<`ܶUVNa2<ьrB#