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  |tL ]/ PropResPI:threads=4elapsed=16.464cpu=30.156gc=0.876factor=1.837zXZִF! ]ŗXf[&Yux6n8Zvk{CW\ ^Z̡NI{3X5UL….<龡Vvة]6ʞ1Fuxβm']Ē_nxaJӆ*sCذMF/8/ ԩ pG+Q[&)9Rbx253.8H,I_jH PF ^#gYZ7zXZִF! t]ŗXiɟ˕A|tYnUzݪ7PE |JT2<#> iL*"#/Vkrn5~ˊvY"]9G:~>2\l츼Wݺx-2gYZ7zXZִF! b`]ŗXi%B4C sټ ,jS؞!֫)"2NA[/4@2$)#ͬEm۫>2_g /3Esr̩jΘŤH#eR\3Xv;QWG2LL*W`46F0t(8h~O_h-Ia>c8E)NI|#Sq]E4.U\Trsf;&1)R` 3O}tǨ̡K7U# ހN2f 6%ݧdoTGs p#,r);QZtx=C$*7i!8FLTڣJvsMV>ť4zbaC+;T{䰖)`dK^hoz o}lf<E|7V!Q`aZ=Gȼ2#XE!8IG`4~dn YiSp+jsMИAX';я=x*+[QY*Ob)S ׫ Ey 8q-R4fvcP÷sR^(\#}34cD9CAolɂplnJ38^Q 9a+>}eHٚTdb*u)Pl/74'INAA].50!_HV`X*ڙJ ׄT*+5,D/2>kӔNjr8fՋ"-)A\xnZoů*ԆIRv^E/.?8ذ#@xL(R9 ſ*+MwԬY1} '8լ^\EI5]Yn4j=n0[8R Mjo496pMmO1|B@УUvbg ; :.F&aI#>H")QP yd{z%wQ_<**-~胤c)KWv a]gYZ02014385aa5bd6d82425095afacccd42443fadd19cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d   PropResPI