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   U)D\ ]% Groebner_Bases:threads=2elapsed=69.899cpu=129.572gc=10.836factor=1.857zXZִF! ,[]ŗXf1-/6vRZnihNsDJ L ݂t 憂2&?}Ugw'V%|3Ǘ6huzIs.7|`PVvBCC;ĴYN9S4*d^A`7~xZkzĿ6zmv\PuvM+xQz aȘ$<-$QDΞi9"d֚yZQ$N4fRD=0lV\.@ݐ8 -E·~";a88F ΐ1 dE9;*-WR?d*1{&-kBXOXw.JGs@ >Z2 "ԧN8CM2URpH}A@`uGHu8folxۓ5 ~́ȱOt88P% $lX"KLXؤA"s:D^5r]DN.ѿ p/S¯8P%IΒXa$/ KS2wHq7P_ݰԬSi>$SFV͂%Sw.fe9yx[- ]@ 5ú/,8~I PO`6AA1r--N)OUDj=ATS!/M$ClK=s`:2;Sjv,Lv%ReX_7oTCD ]g]v0Vl .?3ߘ{Z68$RݲdEG]T¸d5'v)f9_Hז M )St |m+>| ߄kqUZtwIͱqYl38 c` P//}lwjL>sqi lot jQ KH̩#nۭYbذF Qb!9&X&v4)"bu:h5 rF{ӽ?0X-\6,O'^tM)p6Y{ ҅v|4.U[XT1֣ 3\"z#o)Q.Ъ0+o:`δ>#X7ֱgYZ7zXZִF! ]ŗXiɟp5ao AIv8w=۰a+'b{՚>@c9>+ܷ2v\:_z@ŤP[.N0ڙ_$J֣gmHsj .nc l쩩G#u'@'0F{׾\3t4z AoNRBD.˜#]~(K1b򥐴0Hn_W rZTӏ*gYZ7zXZִF! \{]ŗXi%>gt pm"nJXi\) 3uYLV(<ŵd8"apDRXΊÞcK:tRJ`H;k;6W,M볣Sm 8uH}:0U,zq<KFf($DPLjBCbEDQ4]1ͬmDⶬz cHhbu:.aђ LeQbI]IQjvI/XaZ|*"bZa.O3uF&fk7boƦ1LVUUnM8BnC>cfG8"8$tMu "v)an;aM~Bzg 8t E^HߴƠ̩|&2FH{în63<pԺٟg[&,8#l0[ ZT]^;%4bk0]\B?&XO,z|>Hv we1֘ +e#k2!׸CF@)aOΨ᫸L}b!yn-WF )B.O~3 -ʈojp ޯ+f~JɌ@^VѬH$JeD[8~ 4gc>Y]Kcs0@ c xi03p@O^*O$&!玂tvLS vn^Su98+[ڀ"4oS5j.'dW¯^TO36E.I^@FuW7a3(_cH]#{1zg#Ňhw-1 J\ =бu$({GM Uoʨ*m$=YE>c)NU"JѮ#fH eaaD1;.w)Sdb Vi@u^2Xl8DoPmZ 񃻴ek8$szGłDIH 킇0.[c@i ˢ\R&@NkKϒ_hW?M܅eh+ڮ>;i'쿮y\RpEvi%CD2pjN΄SA~;ْYFqcPw$Qt #- ,"MAw1ګ{"|8h: cfy VYՌrWR0{[AV:k!XS|mȺ.{gY?|e o-}[sA ~/n~MK򝓮lS8V#ĴR!ܼƁ!v/>Օ)hGc9RIWe`z&Gf$U^ʤ;S+~I \L+^&gG{l*ͥdG5 ?u%Sv^Avet4xE wl_٫ NƪĢĀ>B ҵ 5[ !:k}V4f9!&ӽj[>_l_}Qve/"|T+T5yvܟ; ]FiF +R\S,H@͂)կeKh03UWJF @HN@eq &2CYf I.=PB}k;;4~fkVD dޭUQ e/A\䊚@+U>L`2܃\,>.p"Hoasoʾó] {8ȳ|0YG%sB}\t \b|%-W-X%AtFynɄh,nv,` Kl:ݣ:dD<97e>ޛ%~Nv{lw(0C3EbĥAePvM& 1-ޥAq}IŚdjYxYȈ>ha؜+$nE)ʅxm#i2_B3>\B1tˁ<)N1kqgA|cjf $U#;:Bޮk&:%WD(4ǁnYapN/ lDŽ%C-F?:XUauВ釦Be2w0/ƧMwʚSR6Uuz3VS |Lop"ܷ(6sQ+fw(-9jۋOS'Q#t [<>g^b^']W.vpA0xh=//$:/HD$G]mEhGƊg1 z椦y#oykG,a`KQ*z݌/uLVCH`&~l =ƣ