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 oo ltt ]/]CRDT:threads=2elapsed=24.760cpu=46.788gc=5.184factor=1.897zXZִF! -]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uz*<<A4Uf9&qiHoS q^|p*zwKt9#0]'%A#zAU0w AI{)fG^;{Q$|}S_M2>\171w_xfJ)dkpJH9d&z)ުb&@ǪM25<ԗ%tarN C(ߦ٫LH=)47JP&8w'p5V}+6[Vr2QX6̕$mO DUl|:Ä.~ҵfd_QCY \FMǮk;s"9SvoreS?;2 3kRh6O3^Z㑲]?VKP%-x[ <7̶ r-Q i91ODwpeuݤ4.#9;uN ~6S*"9Swj -IpWL/G6BYT>HfفI\BSjD 9ye.jY8J<3La U<;ѥaˮ ~Tb$\sw lw C 3PO ]^EWQ(b9i,x(mW͎jn~n2DԎz/4o}T^0BRߡJh`kt [E]*xS*NVA3J̚#:ho>,Nnw14W,84&#8ۛ)ѶlZ!F$(iϵ'v^` ګbZ͛Y<5(.Ỹa(FLB^j&b Z8l#*#I3wJ_{=fc÷qmc(H&$k#կ@LPT ]{3SNIc^I)lvQR*(W|}`$aC[:" gֿʡqB!WЀd+3?(20^59Oޭ,5;L`&^k\DYnh}{Lʼ'ɍ }Xdǔ6 %k#/4/;eKpaO @$W^tqЖײ''^٤rWPаʥJFeldώJ^u 2&l{%@WvJ8%DV}x1˝J;)1{8jsi\5M(sNt۞?|J4ѭ>d0Xrv Ok ȫT<-f}\ů5L EqZfBV ֨xyVK8 FQ!HϠ'KfT3wZ\!Ы#DJ۷W>S =ù]cxciL8:iŪcK?FYv;b BxƿeSDY{̤9])[0=WT;OeG#\ˍ.[O@\|yvowv"PLEfDovngFtKO3 /}֓ZrXQ^\]n $+ZKOKj{oy}>Q [sa$TDϱrWbʠ<ވʞTp1*ZxQ佖\7e)p\ j=Zl(Fq!j1}2S1,94.7IoEeU'#Ay\cIԾ/cd5jK ؓ}.k׃֊18bȍ|zկ bw?75kOedބdݨ