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 ss  |D ]/]Nominal2:threads=8elapsed=16.336cpu=77.757gc=4.362factor=4.767zXZִF! %]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnUڐEBNF MPlαQcqCwl1/+7 :`6F$@x/2%zʪLj0Nfmטۃxn "VxJ=th}"`| WaҦ0f61|da6nZ² 0dYTNr@BbD HFͨj/zt@P> 2FZ$٤{B˪aq IIm`x'VqID==};5: J~b0ʖ7xN|Vo'9)(voQ}ͮq'2XǼl"et2kp)P,zbU~JIG,p+P`4,aFEPL3 dLOѨ{CJ[/j4L&Pqګ;/<Нqn pZ}pZ.Y!{7jmQhqF8 nXړsQupf*5T'Զ =Yg{6C'g~JGJVS'  /;|~WtBoݯՌEn])DH|a4(~b K4oA.QBhmvM@M\@,Vb}e18vHTl0f)\I1 rTe ׿&J%ɚp=ຝF!"q]D]t1|*vE'd]^ V>!/|Fy)KZ TnĖ^G+%^HY5*ĐlASl5q9@j(9+[9A 0*қؑc]St}:e"'&j{ 4\pn*ߚ}ޓ(N1躪'{-1eζa~ 9xd4 '9?DznH $me"|HZ&\*`LmJK>Ljܹr!mƜTvw5̤* JNgYZ7zXZִF! #]ŗXiɟ1˦r1`ZWw+9w`a1J|>vl[U^„Sѡa%'"M $H~Ѽ4qCti~:T~ 9-{Qo<:BDO2 XI./tt[9};n}͈{gO֐#JnㅐQ%"MCXt6{CtySAQu^&~dlL^q4A]}cv~NA{ы3;sjX!SA0xD9wJ(UcJg3=ԗn_ ^Ts'JHy8ny0s#Ye$>ec1J(qE@/S|SA37Cҧcд((oaَM;֣Sˀ)t\Hrc|c_$:MxifNq@m 釛ظ9= g[O }3Ta(? a?m2$rȁ/izr1GtV5Yl܄;vey!>1sQOc`[t%V;E#Ή=X`i׵\ {[+to@󅜴LU`apUI!_ oUDuݹ aLީs븃>KhOm´)$U![4R~#u\X<}7F"`N8n[_(uS[guivUё q[Jg`c>\)"j2\/@S[`XaLKo!7TpOG`Zu1Yào*E]q%7e*;0 /b.y4zVd!9ZoՒ>lN'Le=7Nm m@Y'ʽ{ٜ,jv㗮;7ƫ8!ɢ `OjPcasc>]Hvfp ! NnK̽xgr)PYw_-N?SMt1Ey96^GbyMj4D{3xeٵ9ͨY2YoS78r#,(Y/LwhEwc@\~} %<4%TV^8b[6 F&BtС!%YAIc5 8hJvTbt"'M_22 w%XEuûǹkFY\r{/53Dpv YXa EReifR +Vvt{|#aIo-툜:=w6K͚D` Q#(Y.8C=2I'!XwoE SF?XHO0HAӘkoևtƩ8R |5tٴn*EԎRZ/QtW8Pl.8@Hc7"6xK6c4_J׃(M1'v(V~մN|Y|ifhzog,S`$ /gZ @PWr;2'f#u5^u`H[YyzuR5c;2\g(jrDT1oю壇ZVoG'ա &S TI"؇ )?c(9*5=h!̒4pg gYZ126b9bb44e20fcfaaf1fc9806ad225b87597d00fc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b140fd03432f10ea57e1f9ade043b7e0f8fbfebda   Nominal2