SQLite format 3@ . BBh77otableisabelle_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 $T ]/]HOL-Word:threads=6elapsed=8.722cpu=39.856gc=1.596factor=4.577zXZִF! N]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y ZFovDqv7W '{`_JFTK٥Ҍ8H{ }INl{X%(9l$;xiЕpmzP$9RgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.AS[z}k.a.hy&iyqJf"nE]]Ƅo69Ǘ9A "\.RMqƿoo3ZL-r$\EGU3<!,*,ոބݛ;4YtPtASIE ۧ(y8jt2WUN1/bu:HWT^!\竬ئ6 R.tVNc%{|$MW/gCq~ k)*s, 13\me`!$Z EgYZ7zXZִF! *]ŗXi%;f@A-צxeo^+o7 uab/~Âe[+LuD9uzvp>i~*děNVf3 @L{`(&JF\Bi u}Õ V:{=a )q3頗v<EdGh6B.,L^Kˆ[̘dXߎg 3ғJR-Wj̼HK8 flx8ZQaX4@޾ "Ňntdg$LV@H Nv.~gt9̲1C6р0TwGAVص\)fAY,n('[5xm{I>rL)pKwnA![=TAP F2FQz8񂇢l69e48-֐Hvq DWh6!!~(U^xuX]m#R{7d@LO) |lZWx:&RDE򒵈DqVJ7s%v\S6HuѲ(x$éy#>#4;?@ (ePt &!/y:LZ#fqd|@vX˩-l5Y'p[cn7IJ"In:IΦ<^ ʲ K-?wGtIbfy]{@/D p?`omO\+v{&*կ`$AQwpZ/($tdhQĸϓh~L[ ]