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 c T ] pGCL:threads=2elapsed=34.725cpu=66.820gc=1.876factor=1.927zXZִF! y]ŗXf1-/6vR]uY*؉MPLo1/54Fw*ܵ1mUXISr"nPv X =cS͕Y79h>ԖM-_ݓLk|ki fo:!*Ƣ*p(MC`M'rpz_^v L Ron9] IXCAcȇ#0AQtɓVVL0? kQsܐ;?c%9y@tİ(9{<>!<04rfÛt0$%XmE-P1M) |6db@[u%݀/BD4{rCom7 Q՝S,L~ԚmKM9еcF7hV ZT]Zh{J <\Պ9m >⺜=XJ>DpJOg YLjلLLuY@x!@(' Q,s ޼@ Ά F8UoO|ֱ^O-U|!HѼs [) уڧY'Z ޽}AJY ,WkGeB{9olfQsc-}f;ׂQՉѩCy+jP JھBzfܑ5!:,͌4Rb;15NXE'|O߸c*D6(B5pO\0KB$[BPА<۝VMW+†7(<ZCC^gYZ7zXZִF! L]ŗXiɟ: e=o݆$bL#[B֊~E@)n *7&,&9d_IƤ:V4bS\0'4JhrTΝǷKAR[ z?% sFlI)]fF0:nB~ <{^(E+s-l*($NF PFH_-퀑jIڸVǫ M(g:-յ :`;/<-Rr /2q#~%$l]n$sN$Jw;6v,-bkr&V{ڀa1+!tb:܏4]n-1-+KreA/ɞF'`~7SfA bס 孑YgYZ7zXZִF! ]ŗXi%>goԃ3dyp?Ј7ohrA^u*zI&iT 袽[^Y2'^\3v~1s ?Q$T<"5<;Ӳ4F6$w1P1mLXz m `4>Js/Է)IjApF*b\-`l>Џ/muvdEB6'M cP(Bwevd|YK>6u_8b&0gJ%L,w*Ա=h'Hp6-Q{uYX>E! 6E\5j,#YyfmA`׺₊iqXp;:J@X"=vI>g_M쑎=N80=ynw:jX>cOY AC&5}LΫnN<gH "&=~t6Qk1\62ߞypf̏F.e(y/Q{!l iwcˎe%w[m|= aWRgo @ Dtft Yex4(-pR 6MЧc Eb0OwH9OgGjǪoЏ˟QkJ2dnibϙsAO pV7*~瀈t|gBpvM( ֻ+m̗1Ff/7lHem~u_6nb˒, ؏R1aM@!mٚ774TIfl䇱+u .` 4ݮ`17ҍZ~!rf`xonN/d