SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 D' !ey x1UJSHv|V*V 1xWI\@tit6)LEt໻٦(jA F* tcԶ*Wz9Lp`!Tҳ!qnUbKŸHЯ^qX`Q'+i[n1٥6hƗx 8WM>h6[aᔍ !W>+ 9 ;R,pi8=IB$Ukv3lRKKyEGɌJ9p+R pO6 t7A*HUK5^#+mu ˸J ̑)AEIѕV>)gYZ7zXZִF! 1/]ŗXiɟ mLr?wl:bA8YÙ#[6E4K=?< UTNrmYUu%%? ^m9 0"VxP5J/`-֑EϣS9*x(ڇ>NZW{3U3zW4>[%Ov@ ؑI[ďĵyӞGәkJ]2)lZ; +?8XXnRnKժ&G.C*91c7Q$t2lɵAY#c%4̸Gc{gYZ7zXZִF! Jy]ŗXi%;wvW2Y3&1qp˻GJ0iadH߲C߀2?ێo+#{LH~%"Nd1}_Ց.fr, uII?ߖ2-.qZԁ@vB_9waQ ;&BEPՍ>E&`Z;M9|Eq.1l/bHYsj^.UlTr"{S c4--dis<l40{pcXT mܱgYZ5ef3be592a999f176585c82c6aad26fe3dc757339667212091580fa4c30a7b10e6591774082fff36 af6044d1ba548f70bd68d24705f8ed6fb4aba65c 827137094d4cca56a745e45da3c2f2e7b804ad7a ' WorkerWrapper