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 ' , ] Stream-Fusion:threads=4elapsed=8.702cpu=12.156gc=0.268factor=1.407zXZִF! ]ŗXf[&R g/ S!SQFQ&1{ySW7x|:~rZ,%kHzE>Ia.'E؎ǒUyR'(T+q_홀Ϙdj+-c> I>O>˧^S4)g 2x_ r=F+VyfMYp]@* .ѻjqE#{1)-O Z agYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(v؏jx5.T:_~QTE0co|r%JCH!Հ K㛭p h~ Ԃ sXV4,t >. MYdבoba4tgYZ7zXZִF! D]ŗXi%G̉S/j5r(e)P25{N#_L֗#ogNN0XᒦրJ!b*asvrMGl1r.Xrcbp?oOHthGuV6)L"/}u)XҢF09+q@q3ba%>fo !Nf?{VO$^h@|(@a8%QpTuMl"+t] e=@`G WoN`B?thN?Uv_W*\ȟ'P5OzW ~쨺 .=[(b$YAR 9h={a3b-|.+*[Z܈J:gEX[Α44Ւ= 5z̑DPDgv}qof*> *(d$z-CVUqx3[ |& ;u Nl8oP%uUzJ'8>ڐLPB~A}ߐYǼN̾g^#` ԓOECֵgI3|u1nKXwD Y(A==1BӈEI.ѤLXkvD]ܖJuq84oL$67Z Sݍ)PٜS8z Cûb.#Ծ%S.U) ;1ZAm, 4k"w gFMi$n#0*YtK;We\sk΁,%ACXRؠۓbl,emP@K ҧqk…p|7xUhJ`U /cA徎KzK.1gdq"` &CBnxFВ-Uq*.l|=p#Bf2S3qC,+c_A3v69 Q2NY`ܚF+w`0¬S`X>}L㷥8e?B gD{G(<$-< zk5Q*.i vDP41n[X${L5l_(:m"LMYَ Eo%a1$nPViu9Y2DrA$PTE5@ F>Mkn:!Ls4ݎz wCgYZafbdde20ea92bd2911425e3881f44ff34a21f84878a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 9cae5228e4588b9d3309077fedd4a26ad6b21247 ' Stream-Fusion