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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ~ d\L ]]]ZF:threads=6elapsed=12.446cpu=46.456gc=3.252factor=3.737zXZִF! i]ŗXf1-) enȈA XR„s us'3RNo5_IA=ҢU})5W$5a4#` r skPBʞL:HdP>Hg&" d+#!i"އTg1D#[–ۏtOȄNKm~(d/"dflU M,G2X9Wx=&(ڔƃs)񜄽/ȊҔ* rzQv7G3V0flm@wr?7w [~"W:O!{G~:Luwi黮۲Mη8p{Tƛ$|m@lk,ordв>e4"('BIAǺ&,' $"I.stu&k?rYiX6O Scc(` {t ; K`9)$ҤhcN`Éq/Uu|9tqn'@}_5I@Jpjyʜh0Ř4  LQxbq %x_K2DQ?g/=e:-‹UOaВd>|6˩\M(1a|=1_TVrS5SVh\#Tnȓ iy}U C|@KHQU|{>{i`.n~*0P.Xt&Ti\ND oρ67o0)Z J@n3ّ>"k0V _'Mhl;q 1(9r]v@;RŢPQƚRi;~)| QGVUZfAlݚSR`ΓiC: "| q:YGD򌪋ZP݀<)|\m2 VgYZ82d68ae6d2bb58b3cf80716fcceb4dccf74e50c0b71b2aa485767f91425b025d2acb6b14a80f48ddcbfcacea9c698bb85adb75dfbb012573f993ff94  ZF