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  3 ,\| ]/ MonoBoolTranAlgebra:threads=4elapsed=8.740cpu=16.028gc=0.440factor=1.837zXZִF! `]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;RokMScUs@}a?/i,JR t ym=팇*KZdaM0c8mOF]ifBqNsGVqAܱW-z ,i$%\/n[C P1-B'm&ߦk1@(,ʴ掙SW)->kye\QS}WPD|Pw> @۟M)j:-=?T $Ƭؼ+Nn8P@ۋjԝuԅؒ&{0 tp6ϔ`L:5ajl%(b‚gYZ7zXZִF! j]ŗXiɟjg*Cp a:~- ;t0JTgCoS\zntjo~v!KZz[~XVc3^,1}]t]/R:N$Kmj׵)ޏCpkaTu9l e+0fpI>ue0HI<4´2:G#̦XWFEk&UPG%.jgYZ7zXZִF! H]ŗXi%B `9<1 ,9OVѥל4,'K arׇ7mB  ;fW}TU/LX,a~DkžVڸ;|O|FT,&R~Po_;&Drc=L 9VL{IJzrP 97k#q]c~ĘfM 7\qC4~WM࠲ZӃ`a!ђ֐.O1$pĶsWWEr>t'yehfCȝo"r)4 P(Jغgeb}@ B^*OE7 >P%(3-ʖL RDgZF߳dig@0v&QH5+^ 1I? dnZ1 dtKkj9 L.<]b4Ws bКR㢖GDփ:(!oo$k H(;S襧E TvtaYLu&@dR]]7CL4%$'Ky"b.H}=.A9t 3?Lc|ouad^22ѫqЖpRQ!&rYGNjn{. pbvrj[B5:=Y:\۾3.րt+wE B{bg}g\F*1<`qEّ.R>P{<ч>7=o]UFh$jS QlgYZ743a8a123c7fb67e1c4d31a3e5c7e14e6adf4ceec3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a 3 MonoBoolTranAlgebra