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 _ $< ] Trie:threads=2elapsed=23.117cpu=25.180gc=1.192factor=1.097zXZִF! ]ŗXf1-/6vR[ltǧT3(O7?MVWURR kr-!;~c[WVw9vn%lӕ#0Jn=+Gc#J[RW`LSKO#iox\ǽv}p5Uqjǿ^^T` gYZ7zXZִF! |M]ŗXiɟl٢ :}*]z8iF'EbSPQwUe7-$xq Km!!~wi}Dh }YZ7zXZִF! |]ŗXi%>gE¹\=BxxnUYRA ~HCK > AA dP'[IOEݼcXSV +7$"8= =y{K Bh7([lĉ rrNn_'ϠZ*V Z1%,'^WШsKqƼoA]#iUR7 [Gޅa/[v_O7FR(p->r0hn,%|>o/#aX10.>-7CMa2'X77 ZN=36:F\as{[@D4rt6~EIx0_(K"f((5E&FfJBBb{`MIyZiX4+_OKKF67v}cVCsd|Amo1-Jeṇc{}`n >YSxLS0P/+ic,6z,ˢLצkfaKJ1U Og28lQ$J$c |'+_|6KgZB 2 wc|#xF_xϙ[w)$E.eJ}_ Ֆ"pH7PH{fu6(?,Y%nZܘ#B ' r| 7 V΄k [ V(o-YindamzXn9l0Z2o9%3);3QR˿.2>rc5r=ɠ>2!Уirý Iwp6iy,Qgx)c''[vh'{Ţ/?l~L9@VQ9LP@NJxGE['ÓS[yMn\):[j"ɻq)ZVAd /Q4Ld%Pga\Rw![g7mK IT=2_N +sz͕*pOGv_W$kq1BX{Z8L멪9*VH~Wk(WDx>"[cM!HfBvw+HA&w`\ qomX~^6XkV˵XRL^HM hg' GgYZ288c39aae3a9de7a620f75a18a0ead04debd85c4665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b  Trie