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 {5 ,d| ] Priority_Queue_Braun:threads=4elapsed=17.662cpu=46.572gc=1.052factor=2.647zXZִF! P]ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫vҬ Q_y#tLqWk|zlwܯ@aik . (G q{A)I/5v*\KN_Fn#P$L*6˥m]?ŬmR/)0J2Z++R6َb,mUPVs y̡4|h9/  ݂肢CˑtQ*6]-'MKKM{ .n kfd 'iJ G׼+l嚡B a/`ڶfkduRw5(sٔ{ *n,ZS.8!}:2 #?E0=,I-bߛm) ՋȠ*[z(j߯ .o]u8$Rw:mZ)zs:i** q=u[4&+~gYZ7zXZִF! ]ŗXiɟ1]" M${np^PTܶemDb!م<>Sí7`'[KD&dcly|:2ݩ.Tc5)&֣褳1E{2OZ{qb!8Dꈝ0d_ρbo_V(Tq sݟ56SfhG/ j/ ߝ-SAogjUg '54 џΛ]s ?Qt+eMvr}%@EԱ't$S_@S*H9Y *čʌn^ I[۸1O_goО`QV@ 1mL1> C07rkȴԇȡ_C;aOzmdL8\/uQ jDfiPA5"y 'qËogt;W| ֩{Vݕ },U֛E<ƈ|Дy~p*U"5fFY50P)M@!xL'U | 3G"Vꗷ]HA ~;F5Yg7L<:vsb'ӥZmJ8v%OhWp5z1y8̌veqګfl͑hDތű }9foI agl$B/ޯ3u;&>Cݒ{ԩ .Q%q2?Iݺت '$EӲeOnN!