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 d3 $t ]/ Typeclass_Hierarchy:threads=4elapsed=7.754cpu=20.820gc=0.732factor=2.697zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk᳴O6ҵ DE߈n(ك$OQ~ +\/5{z N+^~(4٦/$o(4dUI(5i3 !vURĸ iG//Ƽ=ud{7^̋ɪlw~aUB+Y{tڏygV]èʥJ>92&/tJ ZO{|0ACSX}Yg/Lpa(S-`j >ն;m8yVڏ=WFv};+"59K TLW&-N8ӫ܀ Kte^x&%p;.`rhl*p /رgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduЃL("DIc2,*-bghy t^BNZ~P"k/$ v A (|o|:b2EgYZ7zXZִF! ,dF]ŗXi%B)mtUԝa)dKBϦc*XD2]{<8}NqWͬ>_Ⅹ+HmuDO p}0O>q CTHw8{0$n)hBqUׇ5|" jt>+?m:xt^e ,_due նs;8TP kG9o8>UgVǏz[_*#aϝcdpNpn? e<!qomiNǸ aOQwB4⺐ys}xq We7l7u7+H5}gNx)z+3R2t15MŭCk0MT(OSqeƣ ^+(|-?mf(:!l1+T8Ff<8ԈIӕt0"$LS"qŐ(rbJbgJ *\?x|϶fo4jh۬I!jg$߶#֘~JwdP%^ȷ.O[%9G0rSxFT/PYFm sA/~!5=4rs¬}e\4j+#; `Ԋ-UcqO[&N?21 WtC`*=5iq᜸<f#HE38 iSEaa=u.}feˍa IOJ6+UShzE3ad aĂV~ '%avQF5tv !(>)CqApC*$":NW߰eOexJ5}zFR;ԥZz AF9" R5U/w3ñE-mr3ɣc7O)q_4[R ]WpN֭s5?'R]Yu=:-0'\D('鰨'Pk})$ *q*|yjC(tst傞Ý