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 5 l,T ]/ LambdaMu:threads=2elapsed=8.372cpu=13.040gc=0.408factor=1.567zXZִF! ".]ŗXf1-/6vRZVNi2uD0[~1 R5x c.V!")ʃo=k b2BK+1@zg&[B7B=HB]POlUꦯ>*YۥbZF6\kĽEn[5>$S[6m10䆦8ze"&X 2~zl}SiK2z`.m-wf\cJP$!ųA "_gYZ7zXZִF! ]ŗXiɟ؀6t72 ;[8}$Tp^Rոoo_..yIk+/YTfaR_Fcof` 8mh&N \bt,ޒoOֱ )X{yWc=i٭lhqRم!7Mm;\yuRK4 pK?ᓯVS&O&DR!tgYZ7zXZִF! 9z]ŗXi%>gj-t %s5G XEy|s"voLbGO_I*eu0x"xϏCO}>L$ da`}5<Vҕ^OLtq6BH ^W!.ͫ 7s`lNqUGL a'ĩFO:nۙ;"_uGޘr[eMn&@Q]AɃk޷B1+oDjE9dv^`B)#r;=>^29y-D *yDY{Tj@~"5ºPǯlp SL_8o^W )r I?MI[(d%KEl vA.B Bmm|mũQfduWmsn9!Rt;VQ|r-2 ?8;Mmdgλ¼Omt9C̱popa=4m9*BF.F֐_#2h#4[jq'tJ9l.:h%Yj92m ,ݒJAD:sntXkso^Zqm+PWһuwVHn$A#u k'C+yN}Dݬx$Q~5,an븭=\G2 WOu|Q un-/VA30*'x: Sw]")JXVT1uֆ^ɽ^cn._~ 1Zyˏ V"k"Z,r;Ͽ@ kL/EZ葶(:3t˗oL1v$]] ]l[dΦb0]>ˠL ȊK* cJ 5Iժw /rPWWgYZ28569d9f85ae83e81397a8d1f9b63a30a21bae75767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418   LambdaMu