SQLite format 3@ .0:  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 (%\, ]]Graph_Theory:threads=4elapsed=32.822cpu=112.472gc=5.668factor=3.437zXZִF! P]ŗXf[&Ddh_AOE%U\u&w/ T$^C[O\K,NɃChy8Q-}z+`O.S4_U^`"D̀*=q쳓;|G_BSnԙ %i{LK`Etf;/_[i _1$9*_69״Y 6~`dn_h(,G# XZ=8GEm-.l" zjx >n!)wmjjfFC"?+~Uq ;ڮK d4A%|p@|/? Z"|HzTkD];U&鮄|GCoːOͤIr ``_4Rk݋^ֶ-fU !p;]0sL]428CbVc1?a-Y1IsxJ}Ua[Y{TQ^>m^tNPY S?F󨒢0ʡ!uЇ~%ث^R" Pu: EyqBӪ[sDx!o/)+-osC& #֝ o@\ϡmʷ~Cq+}ƐqHu(| ysP|k(2u`?z [;C.QJ(+m*mjd]j)s 'T\p(+ӝeP*̂w3崧TDh_2rxqHbka_ߠO'1N89LtZCUնhwfhY)Sg u:րz :1;AvgXo!X-[YT~ސ t h2gr5-G2 %CŭՖtMQbGoX1B{m2og&u yl4&yTT#;bR%im|wD#evQ ) ,NnRHa7j>I_C-CoF7g'a \f u+"8OWx`{ =Ǭs_jfo<'?7][Aghq c'w̐3I1VL d/b2y}bz&V W;=V=0^o8jQPK 8jU:8B:%ĊT8H!]X=A!̊ lC~R*O9Q[əjqGŇ'Xqc[Рb5,f< c)ʑ % Graph_Theory  sNTaLs;&E|x0ODMp\hU@H0*Yk{9G*+t]шv)g?xptCqY5`k@Gg:"k4|Emˬui,Tz*CÕU"|o4Amy2X&CF'zLa2UogE}׾-F!8S̥^gَ0'Պ̖sm߹RtJMo2d* Ο ~+ M%<ʱ:yVA$"IbF&:צ)K^ b( hi8zN ӞLMw+HΛe3P뽖_6Qx{5ݡjFK$CRϟX2Oa8+> E( CbkV\]!JGcO/ g l].)ʖNC<^G7(ܸUy*W‘K(i#eGc| MA%׽`VBo`, Ǹ)3v}\~>YtP)N%S+o.IN`zo;|OEƓ'ߚ5vuLiyJW~+jG|΢v%n| u4 UV>-q֚|*]-DRrY1xTᨆL_R5"a.Y@N_dP)@ wj|> 5H/4Fc*P?&U8n" @Z0}j8)g~)pqi^-%iV6ھJc$Dm' 9|%\[JJjF#5LdtQ?G -Ʉ~4CCB1[ .ĬʯU&Y=~ ĕ08K)L#*?T5o&MdfdQÒ!rD¶#۟2V3:mF9\:Q'<#UuE^lʁ mJV9#cߘCm8e):u> Aw"͞/00 ^>xoG$Ƨ ثc)vü~@vٽFPsL.?.9Ԇ-< t iq&m-mG3A⯒TؕEge-<1͌DQ -.HW# +|?u`g7 vCwև'UkH3Aw^r{O6tG> %W3(ômw _8O=։`* f)3Y]œU.E45}9ϧv'_FлX ٍv~eOMky?5  >'謴8#_4j5\<|%~`\^[,zn& "cުA2?p'm5ozx Y:mZX#o̴b1~Cpw`įPv)V#s>?=) rƐ!I9lJ^# fk| 佭,VZe3*35f`dR ̓*Tf 3udpHų ږR=JjT ^vщHf~9uunv@&$ˮ9Ypq?֬:ӿ8L