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 ii' lt ]]HOLCF-Library:threads=2elapsed=15.798cpu=28.872gc=1.264factor=1.837zXZִF! W.]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&лu RSG)9;P)둥mfmcIu2>q*y ޭE'Wu;U&y(f{~#;Ny‡f<ܹ:&Qp>k a<2D%uf8in&oRo9yV-JᯆGw4+^Q^ϧHI=Yޤ2yNOBrԬqAgRk& -sAẈmM^eVSzqa]/62<>ރLSB7AHJK%KrӇuMwd\ͦl!Z{gLeS02Pttid"UgX֘zB9NVRӣ9q$2'ɞ8ysè.c*RҌ+*|i@Ki2nkӟI}d%U"Q%\Gs5}E4Vn^/:n_.@ kh /O' ]B23=S2aҺy9VoNp+V6'AOpD 4#=vwpޞ6rڦSiL˄Vui c_ͱgYZ7zXZִF! M0]ŗXi%;3/v;0V T:e ,[(L.Je֧MNLyWc%%X|=$n!P/X ק7 OTr?); !RN9ᚚUTKmɏi\K]ivMoAjǡn0+v!+ܺʉGyٞV`1Wo8ak;e8Fn<4ˮϚdt٧kI jPS:`d0bdIRh"텏&Ӊ g3)(  ULNf"pri&LP* `K#!6|1S}rqDx1k~zp&O㗝Zomk=7uM!w L@MD]<kd):*!fKh{G&Y\;]$ú(PMW~浢nUpeܔ!x|,8=0poth64WM dߥ/(Bdm:Z`\OF$乯2`M6?s ޥ䎺~>k2T*|aWoN23ZZ{ށf8QÛ/cNO|;sa,俜\;I_VSbR306&gbH%j(e62r[B8t\,ZiDb 7iK4p'Hnu } +m`x. NxL3o8 XN=%mABΕYa% K|n*Fuo+ {Z5- LdTJ0>GWKۀu@ht ji|u.Ȏzvj[ 9GgYZ5673d8dd5602125a97dfe8e8056d70a110910ac8665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 0bd3304a582979c438ee4e1b126b4178b8c35f7e97cb32e5f6fb00b3e718fa45f284116caaa73910 ' HOLCF-Library