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 + t| ]/ Card_Partitions:threads=4elapsed=6.299cpu=22.776gc=0.548factor=3.627zXZִF! F2]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I1GA]`̡%0zu."G1{9yNy[T!$(*ZK+:0^1x |q/N: UmqGx:zxgxO $Q< nZP5<=/M(Nx;g=e~"H8uXE,s$&?3p"kiȾ6tbyNĩU"iu7\"*"^WShE.mc3VH8K".N Z7.Ԛ YVĺ}[mϻܼ=ѓ'­^#53q+^ >ϯ0zNjPm1bѠ-~4[H&[;xj_מ>:x VAYӐ![W\!,HѷlXPbh34Eጯ+>g.Uݣ7V6V 5D/#YAh!V! αgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLQD>nICY/n/ :DD6d~tN&i|`T6&ŀ F-]#aG;Ji '*x]vNSuڜk&y3ݡ8c6?@IxŮgow/lDx} u% ȾCQ >ȚݫnHgYZ7zXZִF! 5D]ŗXi%Eb⬗z{bWEdw)fuz]%0Rqzp+~y7)n'3k@=Ib0A6r~eʑjQ2m͡_1l>>#uw-騊[IZiu40[E9AjLnE15zb`}feh̉oϞ \Xv #Db$NIQ&<ބF,¢MlҊ~Lixi]Q*v/ Jby oyf]Q +ATԓ 90_ie'0U.ڃ^s9ż[mA1`Ar^0]o`milFT-l~ǐ"*C&;)JSt y .¿]] =7=?GC@A٩V_k9#. ~+5Kjjjm kwF%'̩$5&82Hg&k I p_]t==I;vH3g\|1Ҹys%ːFUp:}`R Bdxuy*&3e5y& z؆Uv̙DK MGG:*:QT(J2XK/ۙ0jWl ist%!6ݎp}o~ (>6cU/Qӷ̭_ !Cj*EwD{k@HS ~YWaedNjۿ*gYZaea02cdab91f2349155d77e7a6137601e77829aa87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 + Card_Partitions