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 LL1+ ,,| ]/ SenSocialChoice:threads=4elapsed=16.019cpu=44.432gc=0.520factor=2.777zXZִF! .O]ŗXf[&QpJa5bi\0/ n~@m \<&.U[#!T! 0_M7_"F&b4fEJO!J.Ss<.qWΧu`Ψ!a r)n'-TX]ĈG{1T }օg@WkkIؐp͸áβ5׮cP{ʤ8$@|0ۯQ]rkm¹u,"Au jB!iyRUn1 "yErNG;v(o 824?IKݳB4_&t^tb%`~#:+sˆV.q`IEdvsegJyWv VUzk'A}|ꉌ<S,R^7_Sģ"z-zaix^rQ)8q`gp[5^i7\By"$+}Fbނ}6iB2QSY,YIp_Dw øK1*9SjgYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDd-f 7w{^/9 &t>"@ЋY_ SLA7NLn]Dk<$;JIєL1hRIf烴gYZ7zXZִF! r7]ŗXi%ES3Hfۏд}2y/.n'I|5E>aF" t ˗ur͋0e6's1ZA|#ny9X;lb*7O 4-u%)Fx'h) qfA4Eֵܷu[i(}u_ܘ5bڇ.g|P{]jSv;HFD %FOfI<],ӿ5?O*F ϛ^b#Q= 7/(M਌'0xfnɗz$?P ƾiAnVLleG3Ӊ~HlgyEMM++ny4 x<쵹2(/ kfu4TΣO7Г9>x3k*ؼD1 yK\ 0T7dq;O6An7G]lgKЧړr}* cȞߧ$ߟ0˅#fI;&/%Z`c|tRb //rJ'󓾁o톪JK5/NuWk:ήSeJiҠ#BoO+ Leed2%Ll=Dt\?\cTᠠ,LOӋڬΝ#dmInoz >n WJ'Go@> DU,ŝcx]oC\U'[