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 g/ |Lt ]/ HOL-Types_To_Sets:threads=4elapsed=15.211cpu=30.076gc=0.780factor=1.987zXZִF! 8]ŗXf1-q恈'+]&e}0mz_i'av&w;g=K0yRz`<`Td/iCk@O[ Y xs +418m[2knHcv*1mL+:Yմ1m=Lx+6t=VmG t|e]E0[gӡ>ϢbY4vг'RєCuXk s?w]pu>=m (yybHW"Ų yk qb~k׈RM.`5:˪X}Uf&6m@Ai)d4,|ԲWf5k1*H%ov 7q*ѭ?jO qbMpsp#/5BњgiOW;_%4"s SvH^}H&} q {-0ǼUZm=+#X~c и>qi:ޗa08}RS<,pBɦZ]$+Pscu5V[ͧӫ{➹d鏦ːTx%؜iQLkh<Tjګ8dA4A$oQ}GeMc'TWq$bY]\ׂ~%OŃ4z<|flhyqJYEc,@+njiƜo8@>3\q񰀋dekLdϥS,F: p:Gh SƞW#WvE-*ӊօܧˌw!};`r" o#(`ne! ݺV)Ic87, QT;o4pw,j^Ҟ}Mҟy 0_+ \c[j9Df#{@sH!A=-.ahd{xsy0nCs0ά1M4zX~:"Qz#ZJl5P i&^DȞ4o~%ǣbCi@3K?FH80op{xãg؟ZxY(LKC-e"\`ˣN ޤb%US2W?t$|q)yyDu5C8Xb?IF5>.(IT  Æ$ RN2E_Ͼ90`b8ɀՕKaʫE%g _h')8O'qU$kˏn!n;'҉z3Uok  ~nA,_3;0W%&DO=Ź]v T׽]q^= @>Ňְ"m\4ђBP؇b®v Fi悷:\&U}bOޙvz-#؅L֪Q$\w|Ɨ֨g`Hi^4_"˜L3:-\󫀦iH->A=9LhUx|&;M䝤;U;j2odMzv5- M"k,0p{S/rewQ`UO[F^Ȧ¢}j&=ϴ?&&|"B-qe|-9)%S)є*Ⱦ2ϗ? 2ߞ" J>U,RōI?cm5DQ#Z0&Ve𿍰H?Y![8yV:9Rh gYsBsPg@^";1+LT(Շy92g pE_h[TR4y  N6i.l}W2=9A5A |i[ScZ k dgYZ861494f219b43dc5fee5c3e658799bf4869a87e5c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a / HOL-Types_To_Sets