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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^7|L\ ]% Containers-Benchmarks:threads=4elapsed=163.378cpu=518.432gc=66.828factor=3.177zXZ ִF ! *x] ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e'T/q鬍 e,жJ<\21И³90EvcD50JmfM?9!H;DN Kpg+hA`~ gEXSw+m3fB, }_ǂuJ$|g~G<[> Cf=<lQ/ڈYbHb+<{ gLZsbH*Qݱx
BJ϶H8_X]g1kʂWx3#
$Vp Zs3kQˍ@A>sx1EJru ;zfsHQ''A/[f\&tXq2Ck)ҧl.LUfGگwd+ξ-8u|LQ;z^ý*mʅyUϋHw]EvVegd<.U/E~QEZѰ,/XȺISܸQ-V{)np뷷8!"/NV7Aۣ2އ|$sӘaj PϢfQ[\
AoGv¹nC5w0$}a_YrVGmXjLEVŵ.lB=_H\8o3]7(8 F/VNp&;˱aߐ3kMʕV[l>ؒjy$ba51*\_+kOFᦧ.8@c|P[]4ك%2[ZUe0oǜkhV?=$m50m3]Xn2-tGe+Sf`J0!;JcOxs4^
7 Containers-Benchmarks
U) Jf-R&ݸXoWx^!)j誦cAħׁTƕi_l$(j!g0|I''`7`.
L3(|0U+7}~~m8-uWuĮ;h!