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  w w \4, ]/]ZF-Induct:threads=6elapsed=3.373cpu=11.992gc=0.456factor=3.567zXZִF! \]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ Gsܖ7uMf1e= SWEcT^feHi_UO*bsn\teo$d%jAac?j'V<P^؇Su}E:ݝ"b3gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|<_UЏ)/ͽ+` *,l^dR6cPg/#<ť;%7`>/vvQ-b(iL6+T4k __~8joaPxoQ*VQ\ =fkk[nH7.({mUT f ϥ~Q Ϋ(˫N-x~8zX@5)m+&xf{ut;9gYZ7zXZִF! M]ŗXi%Lnys9o_+R7q/+id2oс+&bْl gxc8d{(×igJ ,Y#LqDfήE#KBt?Sn[;L}fU5ruo#R D*M lmihngA,Enپ x5/q#:{g(E1k'"0Y/ЮKOJs?o͇=-ʿ@E1RK u]Җ}qS:IT8€> }?]uj7ߍ>U0c_Ra,W<:Jؘbknm3i_{Khӆ\WԐ"gR[˻ب'u!Ms0mAgbֶc%V1Kx#P"*6ȩ3Qn2sՃi" ;xV2Ǫ^HDeLژle[%3SK Yt msR Ka%;S@:+_D2`Xp1}>gd,EgYZ3f972195b9f208523e7683691ae98ac5e8ef0a6883cc805694bc9911202d3d5491fa3857d91ca92e 5e2be0d76a9ada95bac13006d76787af25ab1e46a1fb44c1adb402b68ee48ec50e4fb2b0dc7872d2   ZF-Induct