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  N N'% ,d ]]Graph_Theory:threads=8elapsed=21.177cpu=96.478gc=7.256factor=4.567zXZִF! A*]ŗXf[&Ddh_AOE%U\u&w/ T$_!f Cp # '[4BERBA2çR@ c`/e8Nl r΀JSt϶YX֜~'CM;CngáSM>2tE6MG{R? G=9DL+-U`lC08%CH40y$>U%B9:ͳT;Ď9*8 DN=[msBd/73+hG3\qRd=B'ě8m = % Graph_Theory  (߰M3530i2b. bgJ񖡎8YƧn:ai!xOμ P4-))+#!9I}ۋ@zwd.P&lqPk)@NT91g \RicAˇAcBTyjwa,TRL#*jRZ&)uS-*O yl7acx o Tܶi|}SI &-~kfc`H1yrߨ9]OWLO/rxKdt,֟g(mq<%Hn(v񑂝ڣ$31MYe("Rt!Nt[F&j} /"31(n@Csl~%v[rt]|Lvz3УSXQ^~d^lSEZ-oPΐSSu劤 3 `%*58 _bQPf &SnGCh_O\llk~C3,c ⛿KNX1[ ~FKâeo`d/Q˯ Efq/f[bzXs]шv)gݟz-7!(KlhkfGjέ !>ۺ!4|Hmqj+{*D/T:ϬȄ6/XO4ͪ=|,"E PUb8ɎRmb}g4|{ >h ؏3C ˷LZ\fkpwUB2<ߖ`zH9)nO>d—s\"| t]]ae/<ߚQzLƑOngZ!v.=L8"OI2'ŽX)r_@NH#=X8/(*wTK<ƤYٛsח=֞t{)Z2OZo?=O/ uEVKz͏v SDGţbc/OC%n(˶VI=BgLv3 XYԯ/~X. -vIPoo{>B,S rbaCdL|4A61>v/uG:_أ;=,K]Z'MG@v~W6k=vQU􁘽%pSrOs62*HWBv;]!{e|JU}$PQ zJ.uKc؊䍜X$0ߊbǔ>a#kT=u8^-ܝ@ AU$&qO$)ﵻRQg~MpU`Sx8s}Z( rb; q#B@Xyj{זQCWbXRYr72hYMߙtgGg5qr4O+OۼbbPYPOͿOH?!g7Ln[(ObR-]y9l܄OgN0ՆI'h+8*qJ&Cd-cN6{2/N<ʫr3WF7V N}gtutsQj1[V.u> .Q]$9D  qpg?#)z8BY4l9|p d4AO!^,|+]Z(𽀃CSPdZ i\ЃοlK<&V$UQa!wI4)AEalS alj-0k= fWzmK?Z GgxB{9N(Dp;ZwFHgH_k$69akpǑzkfʂz,&S$[W~.!EtΆZz~ ˝QHOw"K4IU.Lbމ3q]{Z 8"/8¡_OL]O_N/ R<)YbLpD|Y-br5+/w45R ~e3q=02P`ԮLlyI5Bt{t U$\kHx,9l,Y,ɣ@ۆӿ%Ď%V|֦mnV$#ݘlr)1qtA4\CCnAg֑ ;!RjK?t:%k,IR{Tq"V*D/mXG]vxP%|- %PeT"I_ڐҰB%_Bl %Zf x^$l\4C)):P]ZԻɳl$501Ϛ4µ+m0