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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  1 1L+ 4T ]/ Binomial-Queues:threads=4elapsed=4.867cpu=10.680gc=0.232factor=2.197zXZִF! d]ŗXf[&]\E _ ŞG3Qֹ~F; P9+H!VJ[(ePmqv 2 v0Gk<%N/Ұ%ζ*;eلt!^rxޣ6mKT#m+Md?e}s S#VgǓslzHDžÕ T+wk~fYQmCmv1I gYZ7zXZִF! z]ŗXiɟ:Jc6Gx&?==Q7#ɏBFxNQlbYdat?o,peF$޹&1׿A{0- A1흿tgYZ7zXZִF! .]ŗXi%B:g=};~1.Ŕi[Į{Y~MAK]|rs[0 ] rDhh.n0`Tu7Od^3j $~ײ P|[7(mfkFa4Bu'&΢&kMԵ^àa3QR%F ZTl5~`ydg|%ׅ tsjWۈ9u܅d+4͍ɭ362.;ub>?ʄ x_خN@ͣ At=RSۆP|CF鞩="36? bx%]Kޅn/A|6K& (s8hm; غFy"(*/-9U`b#~dzlE7'5ݗ+`ܴow ^l$e2spB_K`gԳx"g2|89*Y@3.(.Dƍ0ACt2R\! V/i0`!VKdx*'l`|G1tyb;ԋ`RtL?l6`ίVsqIQr/XDΝXOnRךjܧT>v(T1U EP-00@V %%>B\[_[Sz77V0^o~6ۏ`J{M~h88W_QN+|4CzK>2H m4R$SLpnyå;U^*)vZ_ S$|kKe^,9{vie+n'.vy)Utҧk6cB,%d#o "h_fmGoB `'zQR,7h>]_'gYZ3731f3694cb28015e659f01b5def5ca93ac4e0a713f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 + Binomial-Queues