SQLite format 3@ .;  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 |+ \l\ ]w Randomised_BSTs:threads=4elapsed=8.245cpu=28.720gc=0.556factor=3.487zXZִF! =(]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, K"|;E_~Y GT$fFUY!pCb ʸo|~Q~C< a8b`C{qQR^aOF-SBsO}%,Hp]XΗ@(B⛁>*`L$L.e"5W_9F0ƀZ~#LZ1s^zR LQZ#֟87uN31P>=R7C|p+HbaØ'> ݗ9D\Ж6+)i =0ʗU1z/ng+H8ǩ!3>Qz<F)a_=)- QG.Q7ٻW(ԘDG{60/kY@SyeY n 7:9([I Yܴ RQsHazʡ\2XApY1jX_tg["ACH^c`%䆋DcH#&%:Xd>coid<^pNgh&!#MGOV,,C#o+ێ˗nĄ I&U\dIxv~:)`d/D&:+C,ADY秖LPW+А+!3KA9Kz/ y,KN9Ud0A!zբyg|e;Y L'(RJ`Їv'hdt]}gAkKО:FFUM&v,`+{63W3 hR_ZH(]x>ay(*KM{V'#]qʳwO7Do-++¡`m5J6L(EFcV(L}D3`GlUh'!3֌qd"0Ct@EO^B]lXa/W$'k~)0PtE >&%#exn*C:!"|lKq*I-8t[-hj5gp(X׮+Gѩ}&cT`2YQA8 ] Yr7b#h%