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 55H% lT$ ]S Posix-Lexing:threads=2elapsed=15.485cpu=27.772gc=1.376factor=1.797zXZִF! .]ŗXf1-/6vR[2u)qS?'CΠPhuM2bF|Oބ2\8~eRL1ƼWڼExO@~ĤTqjr~y-(=tA` H_2Y*V0cX ~VKԠcI8O]Oӕ)q Vߚ"KRiT16Vdz& Y!Z8qV! .R6]!6R7([T%0qݲM$ <QV7BI€}ף"v .XcgYZ7zXZִF! b]ŗXiɟˏ6t-utD>ь@z?HS(/=iE}{x~GIm[L>,ܘ.ƹ#.!LT$7\]`owk~ gYZ7zXZִF! YI]ŗXi%>g[j6i{Sq57h\NA>}Ԗ}a8}?)hxr~1SBND0y'A("3N+^k-Uޟ|Cf$6Zawp}t_8a4꼶+LqYXߙBD\`V\|H<^%k>kӌ."6aW(#zfGbV V }˱vodpyf-g:[Qk1F=3<6!6GH?q ^lu(L3}kV7E,s)PrM0Bush3S5Zs|;g[|0bT#Q)rϡq# (d֕qԕX嶡aϾBO#גE1b ^-y4svl^˺y V.ixz(p5xfFEoOD&'eم#ɭ,Zk DD{80/1Xw}*Bi;?lNkPI(c9giLiu*3sF;=&bގ꿎Nl \l΅Bykǟ9>#H^!C{4L zGƊ 1Azp1o5s Sв+t6=6 ݀$Ҝ)H?iQa¦*7|!Mݭ8(M>`HKRy+h%A:1X:H-`Ŧ>Ũc'/>;\2Ov qꩄiDGoC~\(ړ52<)ڐgzgks-odM(bє뫆rSIw0bheӷ'.W7+= 4)c^%{=>u+wn# y?FO}o&?|O ,H0]$&&ܢ Ff[#DׄNVU;0$$ǎy07(tlfvx2mmiwr;:A~lKr)pPڂt<쁘J?m7kbj1j! n;gYZbc27bda7bc890c55befedc72715b0662e842b3e5a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 8a452ad48fb045973f87baf212dad1cb789c1a9a % Posix-Lexing