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 E) | $ ] Error_Function:threads=4elapsed=12.141cpu=44.152gc=1.624factor=3.647zXZִF! ]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98}j<%iok zҀ`4qC#Ӎ%u_ p!(c,=Kt qPH~" GLW4e~-Vec`0 ̩ KFvdo teH4J jl e٥afPo7)~Оmʸ{Z;p>mshᴫi{Hhb3]2y]:Y|[xnOOo|C,i7|L\%tF^atvFц}N,/]x+1C :[j J>~M_фl*u4mj4)r`"i@_PAۏg6 >CSZHj 8F&PhGfHoEa 5oYugku-L|:U1~Muʦq+y6~X}B [^N.{aa$ lPI)ȇQT83'ٗ4N +T_T b`sxw0$r,9Pu$%ڦj Fw&>~ "ȯ$ kջZ GZs0FXUhJN6q13~]bmQ&r*t@d0$qn$OWhk34פOHt@} rd/tgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7$3b)"xm:əgm֦GeDiH/+"?Wk? 1[ KA?XQ'A"͍c3gmhLx@V):Ay=d+t׽ˈB^71֥):5Ds63*+F:=w$Oc,-r` OI ۶#P~>U)]ןsžgYZ7zXZִF! Y]ŗXi%B%/^CFwJAN6b,7-`~OS1A K F;|9rTmm&(@v#9k8.b2C["v$ϚfŒ$2 0fSuҎ-blwH֐r5Vx.yi,Zdi%a^֟R2iW/>߉ԦJCkVͦF3/r nٯK(xe~i > !z/e0|\9%/ 1_dyKW j`W .jHN%RyFشDFIӜ|Us6'|h/-~_ZRdc7čWL ~0O]);穼C 9 *SěGU !=vp ;#s8~%XU+J2ڻ̌Hzޝ80J>#_#XϘ/377ѳL;(bǗjx|Ȣ~zjGzI֣]˚]tUl1y+2L_^iZ'B @9 ,3@:Kl|4AQ-GeIŸ@ 6Ww~qDj|]/N6Gs MА;}n>{>D^i $?_kuԥ/ b;'TcdS>…3|CQ1אL!ӮrXm2_{ C1Lv! Y!]ΧM<ʆ3 q-k睩EgMMC֖at_ 5+#8? MF`qXmKqFέUWmEK(m8 jLmo]u?0YBGq `#X 6f2XjmWJK p&}Z; {'@p ]`9t۵@<1SDu1Y{x{rPkbf91 l :)^7l[ihƙ(؜Vu3hAL)х:cfVT;%ChL ӲrgYZ96d1cbb221eaf7075aa806ba3790fa524c086dfe3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 08e29eb03c2ddc23125f8a3e99b8f8f8af8903c2 ) Error_Function