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 ee-4| ] HOL-SET_Protocol:threads=6elapsed=24.542cpu=101.184gc=2.952factor=4.127zXZִF! ,/]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxa\*5BGV* 9=m(RD[ ǡXqMo[/|he$9,K6\YD֌YQ9,0⩁1F|ukl9o\%0}&P%ncsFW$`.i,xe/SV #-OORѝ-Nb8H^e:d# y >6(@TʇV_V8h5`0C7m &=9馁kx07P=49GPQW*K>1qEmf \`B!rdL@gQ~LX gڡ'È6#tHd)4t X#x{UQ3l7HEbdb%Ό؝AM@Lj0Ys,=@W!RۀgXl^gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxxc?b6tN`5%fK{!rI ٹQk_$9a%7~IGOᔔL_'r{nRn"y[U2v!7f!?oK~?`).&"2;~Szkj]kgYZ7zXZִF! s]ŗXi%;Ȣ+ӄ{JvbJx o֚vwm :[BF٦2n3n xAsBU^*$y Ep\ z]) Z7;% c72 n=ʹtz[,,[MsTBa9C1]O;VʅP8#16d['~7:TEsXxx꼬B獁_Ȣjzw(%n>Ydc F"9Ήx@. ,n8.Vg!K1%ߎŰfRå3oMv ¼8dwq)9%iR @DNռ2T+/`m 6񟝉FaKW!#h֘~_,΍Ԩ*̏•~H?uLfvNya.LC>D+Ȝ]9pp j=Zӗ0dPXʻ5dTk[l:1_j;(؈_LbrFOCبl)4 ~L!( ?|*2p ae?Ukh!bbi#cܶ;ꀥv ԨR\Aɔ=[Sy*EJ$ Ofk,mřIx_؅ς^u.x!_覻dOQ@>zϷ"