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 ! ! P|4 ] HOL-Bali:threads=4elapsed=92.281cpu=256.344gc=8.960factor=2.787zXZ ִF ! ] ] ŗXf1-q恈73w@9!Ӳ) FVGu~dEyͼ>oABht&8aW!wU}6.U39B +%FĺN.\Dnsm\>/Kwzic6iC=A`CsKvDG},eP㰭ML/{l(q2:d,3Gߘ/PRsr5Cn /. Vߗss$ or!H?C-$b\K|C9I'uIP=rS;=>'W!N5u13>!~ \Ypϳ/Cyߘ 3aQ7O 9,~x۟+q צt%Ayoq4L?2Cw>DƀBt*y@CJ|IOJfAmoR)I(dAͮN*ρʜys `).K~X^ՉbGw⃨W_x@YmPO AtIukoR} ٞ艄LOH5(=~>WkULvHs 7-WX$ˏ ,q% G4z?ѤjOFGݤ5mcR-VZY1fT1SM'Y'yK\-hy