SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ^ l| ]/]CRDT:threads=4elapsed=14.456cpu=54.004gc=2.148factor=3.747zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Y /j̆{;oNgeb3ie-֘p#U\:4@|ia]TPFea mfh M&>6X"I.+5DҏCg&D{/2!ǯDeq^PSg*2xC2n>oPq7^&@)pGHcŞv_)q;VE8n$#PPr%[4j:Q|e{3* 54kn-y[l8wPf+Y a֦x%`A + >`x9_]ΙK,I߼%b 6ʃ6k2}rMfqO퓐+9Z5zly1237>Pc8.cWg8n4@>:ӅQd5EA\ͻftBdΤ-lp9e-B%ܞ29zh P8ȰR,ȏW G4T&­#c2\!~%jN4M+oH^I\}vt7ɨ[O2Zx$ &wܹw&}}*h~j<ַYo\=S& @a%j—8ӟ\(t?rvP 0u/⿹\;V2zĥL3 Ӭ7X>_߼D`"k3M*{@Eot!0"8All=AO&z&4-2ᚥ732[9^?>$i"hm'560mK,.Pk^P0nA9 <gbś7ќF&.F6Su<W @gYZ7zXZִF! h]ŗXiɟ1˦rnzx <@0+gM]OI8i{xwwk0JFW mX3-Ps\iޙ+hj28-Z+v;M ' rJ⋥kNպ j6_Hg^(3fI5C#p`` GyrcuOp;ڜa~JO`WGKz Tag:Ն$ s5 PҜj'sQVu|YPyCv)- !!;nat8:M RVθtՖb0; *~ѩps#%MvI 1eg!1Rysb~Rظޠ\T(φݲ @*sYf8es&<ڝQ(+UӰ3=S8iCjT]q;^ɥֈ'$PHk;$~U/_AЃ^Df'^hH.q{,'hFw兦;Q{lGAÏ G@OUC[d$Oh9ѕY{BIʈڭy5`VuvIF^ WT,&mN~I_ICnv=* zV06J?HĈ5pckXjM# lg-Y %,AC/·02N;,[gB( 7ƙj)qWƣn(> C^x]Q)BG6fWwW;b&<7o1'r9ƀ"}pæ.LS] 4 yY/K81?h&^~M/9߀,fP)~([M 9 ᦹzEvN`!α9f!CIOR~ *, >㨞I@ĄP=6ou|х v 6X0tB5>ĭn^ Fxi}{JNv0b(Z |Wvzp-;Q^'xr[MS*H QPMp"ݞVՔ3G UDBwCҜA|3yQ`*VEHC$