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 $! , ]/ NormByEval:threads=4elapsed=20.981cpu=51.612gc=1.040factor=2.467zXZִF! M]ŗXf[&zv׷K3?Oձ2?aE4} 3 L#<>D[yx$;~Xo^zGmgOB[&h`NO#˲eB PFݞD;a1jJ/ۯGD-M)c$ބ agJhf M MnI^ڭPiv"ЖUg/e?[87"E0 whŲMEcanm6ht3>3bEާ]~b r&1*]a^纗ʇ{) v ň 47^É[6ɶƌ%?t hKM[5H5d P^L溠ZD r+)!]>SjK24c@ӛK*׭ݘG0-P;Es_Lxg]T$`%ơG(ω:68\33:C&Wg<Je`#gJTJ"sZ#-%Z!`/,Ae(Etb 騄^T} C :+_XLhRɯj'M;ĥ[xp@ C9n’HO&.I{lcJh]evD"_b("t{w%wzg-1$veό"Xdi+e+^D{@/KM%rQ4טPl:ˬ`-y\ bڝx_kmrwj42d9G{!&WRu4IS!W_9~ 1V̷55;|U͏τ|E\wQ׵f;+`b{3~;m=ؿ|gx ;"BMgL ̹lRpFa/[N4`Ix+X|/C{pԎd 8nh[p(%xa^|XW !^ִLNr׻KnOPYa7m,N >RE Qat+l )H?ۀ$fdYuƧ>[|[#sbO ~3Ia`?Hwg@epQWuj}fp˭/\"iܠw I)VX haET<[\ceŒ *ht?l˵CMuwK.gRۤ/`jٗa)ΌPRo|x6lǫz. \~[h%Rd}qb~ FQ*r6P͇*E:-P8LJ9|-]1I)${=wqPnVA=A#QH;ǫNH$̑&wd@;op ?CWDyCC&ooqg1eI([P*Wm{*@+e&Rf0(?UռںBԖqG-{0˔JHRR1KFwak>=$E )DkK|ٓz\+;T'\0hک|@iJ.IRʽML*MeIa2-ThuqHK^5xuNb>/9wB|lqb8@WTfRdi8g(&mnẼH1޽<@c\S+f>P;h% S) &-{ٺb4x&Kr"0U=@5^3|@ ,l@.$%dTKʨBoc/ yO 4BeEIxJ M^yӭn#q !_Dou僶v=_^L<jJ). ͍sd۩7iȕ։ΐ7Y6/۲ 찉IM:ω"[+7U} fB4o`B}yVkq="xQhS[7ݯT\dgcI\. ] 4đY{:1kKxOh@1Zb/lӍo&p|#bo#ux&YzOnmV B΀h&?q{ !͵9 N$z|.:V9ӉiOdfeQa$o5 ~vF">%>} .(7Dv JW+;[mLN0yC|XŎ#mIo`řfeROx,Ъ(zXiNGG\Vx >@h_Y`Yj[} SdhJ?ϬHb4Oos:YJBzz[VDvmO_X8QHe;a.~jVZMgYZ86e6a1d8bb95fdc2e1b8dd3d249ca6ef3581704e13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454  ! NormByEval