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; |t ]/ AxiomaticCategoryTheory:threads=2elapsed=31.428cpu=39.632gc=1.352factor=1.267zXZִF! 5]ŗXf1-/6vRZ]X^JN^1\̜6*lva+Şq Rw-17D%{ VTh݌.j01  ѸX|7&\yra0As w I X/ᓃ_S@Weߋyꨄ 2cH6a `Gx gYZ7zXZִF! cL]ŗXiɟ.|evAASXxZ1l $U,%΢ó}pG{2`|>,hd}}YZ7zXZִF! ]ŗXi%>gD(5Bz-haIyz{B`èLZZ^y.gܗ{Z.q]Dpv& -ˤ+ כVax\ƥ^qwg*\&RY][ $oޡRsE=IԓV =;[DR艕 8q:U|$jʲa5NتʻNLPhz/O̚&O~t+ "uSv?jnHVJRdW&eF &֮RPgKN6ssb5wh癚 9lj&13y}\oνkb| ▲jnlB 85]-!~v[*ISOp=I@dΐY:ΎC1j D->ANUbVOdd*O|s:Mm0'";WrEؓX /*VX'ġvQ\,^^< ,eV"`o~9vǕql҈ì"UGh/!&vPـ IKS rV+.:WRNw=9igãϪbҮb9^O`y!< ~TE)?>lTtɂri[W7sri,Ӊg#*kY:l[_ɾZ-^R]O=d fyQV;:Ťtza81 b"Ν4J g[aBN ( @.DP7?!4|*9b`d} *La!z'O"'8L~xX EAz؏ -3Ξ=J 6!>m*@kzZrJp]XK[a !QΪr!00_W Xb-Q[8"6 / )lHwq%w G8YaL/۪Xٴc/u0Xh蜂2ƑfZJaiv`2zx轴{t??ӥI>BI1H!߶5~ywߦP7xV ߇R%rFŶG@<,GW{:s]$D9cy2LAy:FA#v)#43 DhY!0g QjmNaAM1t|x\'3-&T%gj/iBzT<k^$.(vѿ$B5s3w> 9OJJZeVM G(O].q+a00-i&KB;tɞG_Z\R5Y}GW.x`ީ.ݒW_I:z\7*:[ofFwZ=Zrwδ. ~4hh 7PQKӑXqh|:bd& >͜`b*FQ[tQʼ4 %ܤY[^-=Ҝt xbaT@a9N%7e6L B\-|%1gp;ky"3>kBx\8oi6*:?% }IyDPt7 U]q)YY!Ȑpze&2W\uQp̕ N9obisDrj]w&,,4OX\xMʿ+jӂ&-yjGl\p1U~!i5]F :TgNCreI‘1K*5r 5D$Ce*C5gt?h3ܣI