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 q1 tl ] HOL-Imperative_HOL:threads=6elapsed=36.627cpu=68.948gc=2.648factor=1.887zXZִF! /]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi rj/02|qtP)7G}eTjqBH]GϿ[ "y[뀇(B>@3,:)Vhٴk ^VAW?O޹u(y|r-pKG'~8}KJ1o'i0 /kDe}|-ܺ_qAkXp FkAj ~^`PD? Z A3 1 HOL-Imperative_HOL  7b>qLvGh\h礡Qڥ*.g"7)A9]b[8.#l&R pJiҗAs$VvӇkܸ>^j;R_|tew:uϞƱr{,NN+s)iu`' t+ !Jy{ofoۙ8:b. ?WzQډ!!(3P0Hbp"eƌ#CRkVWfoU RPw ռ+]M$dXOqY+ Bnk RA7H@Ht~X_%mIK]Lz B5c!1Vln_EbfI6U@)I Ã$MnQohv4ъ,/q )0s<_Nʶ@ Ֆ 2ń >rhOg֠O2oy13 - !u!*2$r=ǖfEP⅒TqsLonCg'@Ůh%VB''a .Q5R0lwDb4MQo&Q7DIKjS}7C2 hg/H$3A2k-bnIl[,++Q/~Iߘ6=$̕M"nlQ똘oőaF&+%iNq4=hn[ ,~?{q7qTߴJB5ǡ}/45`QޕdLUл@ TR4/j;e2tл _M˱gYZ7zXZִF! E]ŗXiɟ1nhЦx"n_8N]( eOtd:o ܔmZ)IDbD"D\2QT1YbVp1gRWUb1TP[a ݙFNj?ڵ-?۟e)M_iHh6蛺`;kFX l;b m_q#0Ҙ-kfIԇcP#/>v=F@&_i>&s"ݟrkʴSw-j-$0J4mjA;/Ǐ-1{aFA+ϛ]qdz+ ֱgYZ7zXZִF! ౣ]ŗXi%> ƥ biB/Z*4[4 RVPjoI/.y ;vo3pbܴߐRx!sJWW ;V '>ݤPc)tucpƇ X+HԹt [a~$GP_8ffww ʘ@/ 'eT)ke_pd`| 5ag'u*PIoPL49ށr♟ɳmB%9gx^gnwu}ae[ :B4\س+'S=gHb) o] 5sQ?uD"dP{A^6#f]g`%Jqx̭d"ɗxv_֫ƪ.%;g/[dhrb̨_ž`Khw|{G ѭ6GTPPi 0auq'@A 2X>jS)4bLETҡZ~.t}wAH UQu8ߡ/}p1c5<tzfS I\FhpَоdAU3?y71m6&i+[Q+s|d& B@r$INWwڞڈkď[g>-'нq' YH٪g"~Po˜>ҬI+]9e[ح(m8&_w#./jnRS S/{vIp :v5vJ/?v&38ׇdleF2} +AODnJTmqm-&8qo}.DY6fu&1h&1 ?n4jYYb+y\5 I([> T wKJ&hSAf' na5l ;q*$Z)@=?P߃eg0(Sx~,JitWc\8J=MٺB[ނX&^_ ߟ?M}i oCyQ1l|1h FDBƐD93%* ME^ՠ8ӱֈ!G1w[|H<qt*(]XV IP-&xN2}'zw$NP7gT*;g]!oFݵTy5+5ZS 1t~1?(L1FQ7x])셎]zN n,׈`_֘.`,b&}emЂ;S ( 71B>ļT-=ux9~u"Aqƒ<@Ek7hGhR#y*sDu3=|&4IPk