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 d#,,l ]S]HOL-Algebra:threads=6elapsed=110.411cpu=518.952gc=77.788factor=4.707zXZ ִF ! ᑂ"] ŗXf1-q恈\T,rB I|2C;" FEIL+2i#%f|p!f)[}qB:8qWb2Y(BfJWc~CŸl?qT}h[OZL u6tvGc0z-qTZM݇FC /$ 5c%=Z| HkAb:Æ6{S_NŊ&Tށ3!t,E00d j@\0uBL(x$"$GDYyIY}>8n$Ia,+^F+|+%z2J\e1(0zKl!^52 # HOL-Algebra :! B+!AU`6k"|[[dF4%Tt)p=wD wf\O=5Tt[Gpx)@VlO5?LG/(˅{ۃLK3Wj_ CL<4}/$y٩IIN2 ]
@zG)ůn0mjz@]G=wdA!]bh?U*"Uܧ9iwFRrٲro:kx5( P;Fn )S5lbhc4Б> x0N)˜G Ě^P+ OG
M(- Y|g;|5-H2u '(wmKuO+1~ͽvL1+Ѭ[&/O6,$ǥ!M^6Qa[sW:yueZUM;UO1L(3Vˊf$~@Z2gFT"vy*sU&%npAjtLlC8a$bqZ =5:/BGt5kkXDh`ocEz