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 E lT ] IOA:threads=6elapsed=7.178cpu=31.648gc=1.060factor=4.417zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KnB*z&,*pmB$8anD %_:]i Pcsʲ,ڥǞFQ$ _of&#DIe ]sh۱ Yȥcо䛙Y)#ذes]N4]*3^AF4<(ռjz%3հrjx]G"밸TQ#GSc揹grqy)|o}J ugL+رgYZ7zXZִF! `z]ŗXiɟdN'LvH۹p0Q2Ǫg 7pλ'XhO*W:Xq>إKאv@\櫂:Qz<Ŋ\z=@~? y!I{WQOfmEV.97v~ݒnqzjULf,w+νt[F < ۾X^tz$8Yr :hCDcs9M1e?o7Ɋ~(ɜ_&0.jlp>|Io x8FgJh4+}K7}nX 0ʴ&ѶMPhf #dחO3C}XJ* PҰSx kW,#X9a ,gYZ7zXZִF! )!]ŗXi%B۾e;2gބ}&o[7$|P@`>+H^6BxѢG_S"otCl=h2B1ʸDP_vv09 .:4"-a0 Q/9ׯl`& D6)X՜-uۗMGS+H{Cg_3+뗵^P'FuѢ'ۣ?8 xeU ؾOC/GkgTZ7C|(,x$O>+tlMݻʭ2*?M_GD[1[h}Phyћ5A7|{@p<8T¶ciǂ&D" >|ړ|H:衠m0h{e.˞bxqR=E8*o|MZSΧq+a^ ȟ0/?Rew!v -<059E=ޚaF^NDbR& +;xіmX0JƁmNf#6ԏ7+T6N>ļƱ~ˆLUyl*xkf +"QA/|C]#͑׺3?=mv+]aS2+d,. MT(fq`fIyNwr¡ئ49uwm(:u>4j=,ͼPZe͞\G8+*1e>L ԵZ84Bu㩻#NL'_wSy07,7ޜHmwC n8y]Ϩ,{l%A֖sɻ2]f=^F\B %*J^M7 Y3M/g9nK-=P8SE}.˷ݐXYKXOH#D;z[l]%LS~gYZ687e2d62fe117191ff7a443a0f816e019a1e9454a52852326379afee2cdf8f94e7105ca039ab9f98 4b399c4375d1ace873a060528c4c23646f4c8a2b 44f92bc5a5853767ebaa7fbd49506f22b24d8cf2  IOA