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 % utln6e~IO{ct<,9s]B-Sݸe\t7JzOɏIybYԵbgM"5z$Dr!҃'?=T S݂4v۬r 0R('̫?w&!RgL]o}RIlH3bLOV@q@ֱ#%crnі4<$K}0繰iP`ùKL1`/ᑣ^3fn=PxFRhd">|7yvIVpjT[׽VS\r>nMRED: Tagiȹ i%#64AG5!) j㻊 ?o5MWJ3żau\قשyIa=+h%l]F/ xr)%. DOBgYZ7zXZִF! H2]ŗXiɟi%3( d+%jh -ĝF Ԋv-@V7iQ;/6%Pa#ELpL,%k:I8ct9!.^xSh ΒBd"'ax8awઁ紕|,2p7)9iFر[Фkfo|jнR?WN`ǜE+gɗ~u6¡zÊB>"w qO@ s<DZErU6xr ?#Jn Xq\jK!`$ZVQeCu2(?H_qi $~{]&{ڙQLUf 1% &x5*VW 4p>bDuĺqv.P&!Ke V[Tm$֜I%8s(jĄjhO-= U1ぬT#w[O|duӶf>'ѡGq6*C':IK gYZ7zXZִF! qE_]ŗXi%;cѿpdosQ0B`< :Sg$1 !Gu`0dAZC 63t"c\:j-$XeGX(KGg{!֝c:/#Q8:QNykw;I{)W![A[W1CO uXޫG~tn6K@<E1b=1X)8l.sZwuZ~'G0eabגI2y*u>v9oAqKtAJyxGsBۓ3hوT络ށ7̲5}3Q]eM<ֽB)\;7YDpo hcاC@7܎8[VVP킋O&'Xlk^q4ӫiVM?Τ$DdSϵorSSWJRre]'ef外Ik%kC=_XڊaCH?|¢Vz:'\ƄvW Ya̎nZlVkT#rY@saOB6ăH2:Sk&(#|!h ej8Se>ÆV=O VU/-)D|TɤBQo$]k*\BVmI8sq. KSƲ^+ /Z;aD'l~7~W&JQLN&X4##>/Q/0W _ʈFnXw w.77TQfy;'P]sf6]J 1i##.]a$s–T;Vݾxrgh}*dž+T6mH`e>@:Sj|BfHq-M`Z'of>oʁO=ߑ؟5wڻ"煡w$V_t֌Xf1v< |hcZZA.M('N[wr3 STgYZ39b0b45aca48e1fb972fd37d420260e97d8cef88a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bc04e57dcf7ea8c69af8c3216e544bbc1ebadc12 e5c6fd005027b05c95bb790d8af588a6df5c08d9 8dbef17a79817c64be90526a646fed45bc637563 c321c706e4f917d3ad3200971941bc070f0aa22bce84b6fc2171747aecc78893684687b614d5be00 % Sepref_Basic