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  H'L4 ]% Lazy-Lists-II:threads=4elapsed=1.510cpu=3.840gc=0.000factor=2.547zXZִF! `]ŗXf[& omv1uڧ|,yw:A3p KVD@ AE MY-24~N'xmq|=űgYZ7zXZִF! H::name=Lazy-Lists-II.LList2elapsed=1.293cpu=3.556gc=0.000I7 uyaI`S}YZ7zXZִF! ]ŗXi%B,kol^f@2ζh9BtiJwc$YفwJ"-bԈ[{'^[Wqw+7 YҊ|,e ~k5|œe]|_uCXFiEzF$8jj4U45Gl$Y>,#1B^')2_Eax(͆dgnxAđ$1П_P퐘Z: P}<5uhQו 8WVw,bjfD:Oy/edLN$:[ZeAo/R?6Ck(] zVkC4oɉ;էvْt:4qA`lEљT`c'm(NSŵsN6)Vjtn_ֲ_Öe"9ȟ:A $-:5[8v/@AX##{ !RxX;[bܱgYZ4fec4aab1ba0acae77d07e9cc6bf5505286ee7c3ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 90a699d4ab813a8fc0c92de7f31e81ec4d9fb9cf 8be2c2f1925c347bf63fee29e0c8311095cc30c0 ' Lazy-Lists-II