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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info } } t%t ] UPF_Firewall:threads=4elapsed=75.456cpu=195.580gc=5.748factor=2.597zXZ ִF ! } |] ŗXf[&Rh,G4"ŐUKG, <{}wt-A3ma;p@/J5m8Bld$R2Ύ57d=huc1u|. /X]Σx٤ELkam/ Y#tc`WElg=rG?GL cZ'H9{QY6|EI{8!r9-*r"V nʣ$~@5LQz]Rכĕ1Qr(#0] -B(SCL`\i.hhcv &-&"6ۅbGmɥ#,]Sn7\s[g]̓[̙үki1Cֆ>7)/!BtF0 nN!A$`z¤Fҹ%@je BQr4`jsp4< Bs#ea0B5iUNw(> >?}l]'04U(Q = fMZZVWvKX5\X@* 0w t)} Y؋*U"흳_QpfS0k3Nԏ5Ts kPh _ :nc .-ߝdF ۶h#;/n!+SCC ?6I&N7 / :GkWMr.{k8-\Wѥ, wqu+nsA>@B~*)j?+l;/>!4U)dxĒ6+e8X<$98OT$EZp4{Y[d.܉ļ4~);ȘE6dWw= #)٥J_/ %tc3[y0/o\wNۿ猌rTJf_mzЖś=æ t$Ӱa-4P㴿9)ED]GtʁH=|@=p'-IO>P[A~0g ż!jVJV\=;g>1 ǔK3.[bU9[1$pr