SQLite format 3@ .;  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 x l$d ]/ OpSets:threads=4elapsed=15.955cpu=52.016gc=1.348factor=3.267zXZִF! %]ŗXf[&Zyq1/F˹1`2WS۹itE>O$sFcCa_C[)@.M\= LYGm.W;ȧU-KxMOԘoMsɥoQdxMh|ཌྷy"2w"XS8yޣS![m9OR-,6:U@؉;|vC*X#\Uí:vF&F.r/'Wى|4&;>y֘֗V jND6-Gc3').s8(0 A^?2|2=E>E냅r"Y6O6z/J4V|kux ڥ>֜C=L4˗p`t*ۍ 2B LdQP  hC_֞>!L{BL鈟s-'R#(qBXҁxݮ#j*-ԯ>k@-J ePGY^?tJ*?XwsPtUvM3/[W\QY I`Ŏ >584;ˀV(ٟZHS<XI"2{{t?|p,ƻtJn`WٛOtlԅǻB G*+8!0-L3R:e!_V iZ{Ox(F}n6.7^_Th4qV9(wWb4o>gYZ7zXZִF! S]ŗXiɟ@*ajmSgHb `+9Kic'uX,Aiξ;_yF3@ qFy|Zicmn @gҹDl>8N~O_2¬8*:Ab0 P$:5ym*wƜ(s ֝F88@W Eg#aX`[1AL~_zZl7_` |0 #o6ߴoue6VUOj5֪Z5Ymy_@j\9/픕?S#NC6uꀊ(}뵬o4n{-MYk?Qi-'ƥKepemʼ^ڔMX$d '\|r;!dwiJXsH\UTIf(^PNv`!:ɚ+,o77`qәDsj_V0GQlەH=]e0&02G̙h.l2bwu>fDN1l-VH$|vƍfM6oK :jbݶ7 $p+]8<9hB^zI 4E O|t0,D\HY^xΠִ3zZ_.VDqۗ b/7IEP6mr\۩0hحXU LWD#&*=c,7MQRl@܂c=/&xKU.8yf(Ç5 BU:+ do9'|wZ3kQCȜ&E)N~H1$"ukޝbR;T>>RPm&t U޾_m\Ӝ Ąq&?݉