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 o3 d$ ]S Decreasing-Diagrams:threads=2elapsed=21.421cpu=37.612gc=1.052factor=1.767zXZִF! ]ŗXf[&}M~f\OjjF%-[ߕ{T8 z= xMS2ڋL#iHtzxI_fH^ItC b48SiCjqHG.-w%uX.:pGp.B΢gMRHlz4O;!EwbstEE$":j]$A c֣ܖ;};Ge|}ɺ@ &~xüd b> bB@˧,#VЎM GĊ;MT z[ejRà+>f̲JK_8 uHTHV t3=(b]3)f/}|ЕrhF!Mt[n Z^sccu92a8]q[k-'cg/(aPR s_PaF+>W͒BJx1[U'j[ձgYZ7zXZִF! [L]ŗXiɟhb[@%= (]T^ѡ`q=_\_,|X`K qMph\[I}YZ7zXZִF! xJ]ŗXi%>g ŔIF>z Q71L w~g'x͜&:&0CHp$rU~wiu]-G{p {TD< }p&JՃhX<6<@{ %)&ǁfh֥selQlxHt8Y}xS5.7n{P$: (J)2v;:MhCBN{𣢸>ůvr-ϓ ]Ʃ/v@BrH'gv{xF1.m f<aÕm )m}nۛ,;Ԥ @\X'j{g2mͼs* =1y xNqʂΑ08L+!(:wC\{WA>` H pd|T+bp7@J.Frz:Me2EZOd5WY>c gu-*`XUaBXܫu{X-P; Rk #M.TPRX%SL`rp`Nm.=w9C( Ӥڿ¿n-SǸX5U%ȾT 59+i䍋(߻eUMݟ⢧Hܒ5 Z9Q _,+dbp,@|eZ'y6_ӆ*}n? ] /{6#^x 4OWtqLBd "wV\|!^Zl <, $"z)-~MuHY =6f8ۥ3j[4K0lF**ef "{%(j=jvUqe ٗ%w{r _&F49M9|tJ JAܸڗq2')h9,]eFXC(hΧx )o2/a/rG5_V|@p&N`UNF[F'G] su4}x"BHzƽp gҠ|vݶ6ɟV%ݫ7OG ETB烗Y%E.Nlup;dY2ߖ otcKE-e(?|bF p`{Ԧ !PYјC7FV/HÜUs]q)bݔ!yv-}1#bzdtk/Qx׬VpB%T2@@GZ7vX7J(>@\Lz!I M1#\Bks Џ$gYZd09beea1699c42d5ab46c83496e453ef150cd3db0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 38e185c6e60ca27943c5d15520a397a3722961ef 3 Decreasing-Diagrams