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 0-$D ] HOL-SET_Protocol:threads=6elapsed=22.824cpu=103.624gc=2.164factor=4.547zXZִF! ,+]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;wTIBe,V/?m x<9j~o}97ZF_+oSZdp\-yCG $8zZ}cZ){03mspI0,^+)3E s^gXE\ xYo0vrwd iZ5-B 0R咾43*H𹏚I7?c:Mˆ_t6W\`d":uCqh7amXy . - HOL-SET_Protocol  pq{L|ĽB< ?\~Ǖ&)t G#B$e-?+sQQzqO}՜jFӕw$$?BJ+#:xK'DX2o!IxtsA>g*WaHKBޝy]+t8:cq'"x)|1#cvcU{$2Б@pgLɡL#o:\pF/2 kr`{"H'[_T~>-⏼r8ax Y}_Sb1O@C")P< C;3DXj!؋egW=ga7_]/hP Hxv泌SLKABcɳ"m HÒtS\' #>; ,Q͒F0>yN{\NJ d2gYZ7zXZִF! ]ŗXi%ES)~<8 Zm_ |NG&*(VWM`#$0ơW ¤:f1sX> ܍V-G#4, F=ʌ#2Ѝ߆:}ݸ\|\cbhMV)˗[ӯ(4HyK0M%'mko"(Z^|IFK5_וU^ޯ3 j!I%tY8M]ɏsSG78\?vx)}[殺2 Qxi|Z<Q?u^^4{j[2ɳE~ވhE#&9m֢lSa49QEIW io%Z5óўVazǎ<@ }ȱ}.TnuV`gbdQGbRŦpbirpѭj&h Z(dQt +zUĸ ENĦm/\V0!Ef!1U"\MJ9ΰWaRcN:'{!y^+])ye+JN P5Zu~;rR=bő 2n2ұiR@+u:+}N@/);5>S}}FSKi1J.pD'MN4Y