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   q1 D\ ]]HereditarilyFinite:threads=4elapsed=11.998cpu=32.128gc=0.816factor=2.687zXZִF! ]ŗXf[&pCc:=(/EKR-uqG-2;LgYZ7zXZִF! ^]ŗXi%Gf|Ro,Tż@_0z T$M\ߗf(:p}·rчj*z+]=0Hl!ީ wMkj)I.@W6o%^ /;vmxnZ e,1꒿P|4Xr=y Sܻ3{PHSW?C{b8_?(YKɞ/Ϩ ?rW[ibC;3x=p~lߦ_n[*غgjJmk4tGx<@C&[o"1d)cZJU?5!.A|P9w@R?3xLwǿhevzUd'Hd572P}o7CAWw#;{ܽcJP6eNޢ3_TlWعքA}i^c>m{ײaXaa(!@7G"aS4_cZw" nBWH|3yDI u{=<L+$_vw`1/{w"jRfS7E+~V*x{~'%Xn+E0όD^=[3~J4cEM[W!K\6BT 3S8Cb5o6D'M K_-=cZ}u[N?#th4^{?"s"lH'fߓ~|4e#‹\Vzx^NS&1N|~z&KkǰC^Eu"t] R^~C]/zPZG!$Gc.e[}~j %0="2=O ́r (ŲȯJ A,XpƪaqqOC#Qg8^̣:J0tv`k}KnM2!C2"OX QX!?scٳ:@v)^f8(R`f(j+G0†"JKC I#^d![ۑw[a #K0\+ERw\w} цNݵ2ƍ锤PP] *[G1RPۤhZ|3w+h4@9U[EUKJ:RNBQ}