SQLite format 3@ .;  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=22.208cpu=54.776gc=1.392factor=2.477zXZִF! "{]ŗXf[&zv׷K3?Oձ2?aE4} 3 L#<>D[yxxl@E_s tclHdN8}2 ƎG m%jW镦0'B!?6˹Qr\lm1uT5zuOY]@l?|RxT.<G@S We&cD..:-U< KXЀo$#,)1j" 'UrP $wR%>W~;ҳ+åm|6k)AEgķ7u{C^٘`3Œ\`#&Z}{y^A}S6q+YkhpXQvSp(֥F=/&']4d Ο+x\j5q7W q2$wYq*[>hxjUN&P W}Ӑ`mt+пAW[ Q5peQ&< n@~G?#B(ڑQv_c A|\2nt/ KA~?Ɯ ㅤ' ~ufnz !poL6#Y<0REMj52L±ɄxEb0ׂ>b*gˆX==/Vn(S[XfLhp\j.avJճ-P.董 k5Or!cp%o|_cׂrS+_bzkO|<zWxkY[Ƿ\ƑLE$P>%|bs3eu#2 ^?A\w43D4*>)gYZ7zXZִF! D::name=NormByEval.NBEelapsed=11.775cpu=27.180gc=1.036NzS~]E-#%)}YZ7zXZִF!  (]ŗXi%I oĤ=TK`u#T<*l )KssX*|u"V+F RנyS ^U`qݯ>ũӺ1ʚ>M[Id&Q|['71@mVtܧ}%H|_: I:T~„0̵=7%tNݱr[o`:,,2.7,*%^PtPv٭^ @h"-00ISO}PvΡmQ!vkWad=n$>^UywA޾X3YO{wZΣVlED'e|maen4uv(>FᏚW)uPek|>u=v Yf:t!,Eѡ0>W{Hs82t #"KdD.=QF<ŅRJoWzh[8cӍ$A" 6+z=rV́x뤡"n̰PMP˼dR#֋asIκ[^!r,i/[|ƛH߷ ۃN O7/+F=9HnN_Vj|hN^g|tUʛ9UGp@) N,(ʵ9:?4pƆƣCQ~_@5,6 9-Q\ ;uw!:/v&, }zOU:2M~dmG&YjH[_Qt+9eP^hNof=UJs bN/7'.̺wSؐԤHKL" u*RH:#AXW!sA.{ $n#,weH=SKD> lVF0IΛjQO > Ue) hriBRnf:+,m7Ou,7o }^ 0Lt\BZ(` #!TkMy1fZBdqe#|}q_CYAb_uF~-D"Za "Մ;Gr)Uh9KJs9rc&k %|w75kgb DXmES+Lsji؏"DVR%[}b|K9">Ne NMH=A$N$U_|W17y$sv-9ahZ!qbEOa^5ƱnBآ)!BI)( B J*sHAC?/G>Bl@ -@ irm+6_i?7^ ,4&|bL$2xQp.nSuX#9Bdş3^ \g,1(g=Q1R3̳]iI(k/)N&|D^v& lU.>H _bies͐~~hfBk>UBElzZ-8j՟TT^/4(ج3F6=M3+nXu (jkL͕)h'$DWCNﭑ!f2ӉZXi;s*R 1 DB*Qt#q2;|]bt> %fkl,_i" xc~aZrODM *0r汗ujVQ7:o \~Jl֬W%I$ gȺ[E-G8;?=GYc|C?7Rfe_ ]stl4 Chxm.lcxYJ/u%8:k:2QO2MO\;?Faych#i?Y;kO .o3{x^cRM09J99!'C+1D޵p?T&n$`9K?s%J# B{nh~E{G0$12;@0,&`3OцO}+u񰅽