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 % < ]]Regular-Sets:threads=2elapsed=49.860cpu=83.076gc=3.852factor=1.677zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'kd<7t0ٙ* Ln.Mia:^ɡ:b"ez ~#C _dzD;pA=Y)++;!֛(@h`qZ$w[t;iz]KNt9> R.RxlqaC:04@uY@qRemZgn0+.5RpX)ܗFK=l-|Qa7T< ݻfqe-HMJtߥ05}" % Regular-Sets  9<1WsW/Kx 9MqcЉ,fX[g`zaSA ^k4/EDսT[r+ʩφ$Vu$Lb?z7]4n(Nv.ԨzzJK 2ؘ^VE^l| Q"ѫ*XnOH yקLKs@2mLB?5xrY ly)X.Du½2~c89T3RE\nm炣"!pT]; x20QXNa[;O`~dݺ/O3gYZ7zXZִF! ]ŗXiɟi&w<$мI*0a)/~92&1Ї%$Ae>9"BD fQ{Ivg+o_I: WIlAUe>9M|ְiF@Z&bjr{kh˺/g?gOBg6sK]_^v]% ެc2{cȌ3 9u%nkYTUU>Ӽ22 ~=}~[@!!Ē)ȶA?pH ,5o% |kf6 l8_ej쮞hw` K4Pw[[>g\3ޓA5 ^=]3joI]UΌw2tA,Ev[")lJ̮ o膯)ߦC jb (;n-ᰁ4Sj0Nzhp: xKO{l 1?Ouw3-7lW,Q.c &g ɭaJ}'&KgW0t3w4"d 2u#~vV7effd$ˏN'AK}b:G:`Y|f+0uOІ>G.^ފA28Uَzww?2rY#wNv:ej-O R/A=74TEAۍ=R~?!R{q9pm]1A  cQ;̖P)q1xź!߯>DqtH+"JhX/ ইARǃ yY,c@Zg\@M LQ!WuY<: 󦼌vw`zu3O5ǹ-2,VTm$Љ~W2&@m4'bkK^>YBȚwjIMDYBت,.hI*VMy2d9SƔCGd.Xsf6t'snb5~]]ͩdw}\g?T^v f,&V[I?"JdOlyQi xM09`Mbj^ =用]AqoҵſLc[71_WNHOߌӵA *[@_ ̒E?9x~BL{zWޡ3mF#|iIef)[.gmB ?&CM!/;*vTQ;ky~ƷMKq 9M~v(lZOAQ1)o&*39L`a7k.ZUc5eTws}j$I`6ZF#|f֘@} sjbjwO"D=]marI^Myo6x X-6zZ %FnєŎ^=FEF!I9覫@#N%uCl"dʞ)*bk獈2s~&f\|_[>;SPt3< jOP'{۹ ZW"G.Do6uNPM ۢTw`Z<WcSSޖr o2tVN3nݦ~(]$sPe*Nv๓l2NjĕidEa?|a 8|="YShbjE*etWꯨ+XW8~f! bx gί Y3D9gYZe6e6bc9cdab370b772d20fcb9265174fbee768dfa70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff8a452ad48fb045973f87baf212dad1cb789c1a9a