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 6 |t ]]]ZF:threads=6elapsed=12.267cpu=44.840gc=2.592factor=3.667zXZִF! 5]ŗXf1-)9\l ݺn= bŚ&3(/.G_T[|H!&DqjG|ps񕥟!5ҐmW |eF#n[e#Ld-UX45'X[dq]_@+Р2~-.IXqlkFee jK6uDZ$,H-zU"2-qyf0C/Եo2 ZMǘ }u=&bǘNML ?{ru׫8WZan|gYZ7zXZִF! 1]ŗXiɟ 1FE`空Bz~ǃ ?6&~y V6F###a%.Ji½کKݝA;\]E%g>s CL@N5iO/d'Hl1 o= BcHRPnjGId c70cRU)/I X#11cIk"D!3Zv,C&$sle#^+,~s -xD=gQ*~ gYZ7zXZִF! F=]ŗXi%B۾3sgdҼ,ڜY9ιY x;Q xsgxrI\NqN u]mTҏ 6aue ɧ|0:WS@MbA~~񰩎6we)l7ߤ+a$zcB׍e;HYqmBoʬiy|Bl~h֭;|l0,y{X)3цb`!ZITDWExixc^:2$Zz+}ˎ·JX3u'u8C+'DƄط:i<ֲٓFMmo(W{#D2/.vTa"6C2 D8#T mKYR̐0u "sN<3XGk z P%,,59-0 y$ n2EZyy2 R \YN!=`v:%G*rZz`3KOiH6mLK96-bGGX݋' }\oOx~blB #ɺY-9.P8&djlkog 5̶#Y>3Q|2[7 >Q8нdR6%3zk ip i(S[ҞAo'y%DMg'-Has +Tg[ddz~%#To5P&% W^Ļ>5sޮmle:( D< )?SL$RR;3}]#un,}ǰeJ%s,K/_o)W7'(eQPgQ10uSNyJKqY\%<ɛ"wKPǁi˲j MKMaEQo_NffeJ4܆^ ҵ/!#1΅FBb{|91#33I-fb 89F} RT`TU_}e!7#QW*ЀsC8K9=ڮP eGRBN8K<(u?OGCi`%%Hfk]{߂`V7o+.9P⥫.SOU{vy=ͧi ōQB iXΏwVhQXr-CT ữOWrK572ֽ&4rqAH+X^[6ܩ@3(kW<AZljmDx˪60 PЎsp㨃ԩ*JdAL>w,=W6rVû=duߘ4"y˫ /$v)/+NѻɲuQ(:Pݦ:2 \$tFeivv7RQQ ~7gYZ6fc218eeb540adde19024df1d868acea64311f3bac77010cd64e2ce720ccfa00fb9a959649c23cdb264fba6171087f8204bca6f0d925152ad8d36260  ZF