SQLite format 3@ . BBh77otableisabelle_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 u?|14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(@-8Y.}X(+䥰`_1cLJ Gaر7 JUSԌO϶]ӏO0{L; p׉Q"v&V?'lb# L G3c趔̾㣰9l"^< ^װyBatJt3Ѡ36r>X*'UW{\$~6TO I>Eީ"ډXr,->ӹ.he& ' ? HOL-Computational_Algebra]cX p6"D1h܏aRh1tM" w`ڮ4>x)'5Z ώs3z孜3C68',|  GݐtBrzgU5ʸCJor89J^לᏤ?7$y"9 Cm2GB?/2\riL˙Xqd"M] { oaM>U GIX+$Y/*7/o`!|'g$6pi&[w Lx$W-E̦&V^|ԸaŌy`smժ`(4V9eZhg9E;!k;*նO9qp(g<"g%{Zc>'/a^dQG8M7/9_`W vf_S.8:6Ҡ;[-Uipu@?)Hd_c=0KL^ΚN`n*7Q7]zͨ+É&/ya.v p߰~Im% HY>J6 TÍE,/u3%\hl %SbˉG^'Q]iuGV 7wwc24*Ѩ܍ Ž*FNkߴdj$}X#A"dm)4wa<+kQz#;'6Ș?ѵL(tݼlQyn4s#N8RVNYs6ߥ(`*l R,ǀ TxΆ*rzK13T,KNJ)O+׳/RH%H߸NfCXx\qYڪr~=V Rx D8Z;6! کsu"jŒM03*ClmP6?9.:Y? (<}E+-3vka1P1ͽU#!6X#kAZy[SsqX$c9ɑBOKf): -xgYZ7zXZִF! " o]ŗXi%;3Z$Gir늿joa"͘%oO-_>81_M@e$ac5^YsKC>(wtـ3QpDWG<ضXT[˓vz}:^WQ~qԇz 윧uQjK^:CJi[ō|NOɗBiۯ 83_2ncgMng>R* mF|N]Rlņ &l\iY(1-@e`d|h^T/Z#zc|Kɽ`SP硓tjn+!t`25 dsS֧?[$CI څ1@O(_m@kC:VNHxhS!)&h1_FnYK.0Q KBfɥ_#\'HM,Q~M;)_pZ7@HEZOvBdF卧 )!ix@f uv-*"M|q/#j^Tl8uJ#"#Ar.m8s"> lX.ZL4 %=!"Q.;F UKJV7oA*.1z94̲6[!XBP:T ˖&?/iW%8#(*62kmuf{˕ !Y3%tOwvnCVs98CgĮ:OHHcձ+$1sq|ĦK7%X5Ƞel&PPȳΚ(xϜ% hiX,rQK@?tx?֔֗`MZNu~ވ tȉ*0y|\= E;8@VWlМqx Jg sj;zxvW{WIkodn}!0`)V<`Y }a)EٽpɻƟ"8wP`eFWdPpSd,מc= 賴s'm^D.鑂)dGHMqYka[ywiGhW[hU +! (e+P(vd=*)rYOR~:jEDuK,Q~^4ZSJa j:)G> Dqg_6JL[T^0u1 ĭrǩ$L?jXA ^fAKG8e);+GG:ϥe%|rcNYvgI)eK(%2 Gfg4DGmJnHE]ͨ}" &㍂2=qK [U ^AG7s0"avW,I Df؇u-C}h)s`D 5KH') 3fX6(*yzdĜ0H>:ia7-7v]X` v/wnT-oaB%=DQN5})o;?U8^Õb4XO ogS )CU|<ފ-.=>xyۘVu|c~5>}﬽+#aїTcCD=mxfUSHCNBv%p 5`6sjdJ/CDa( QDuGF|t+qn:6Mtb[N e-U{rX;hnZ*&`4|n&Kr+ѝ*?;*ًSGoժqp a0Rh(Ԑ_4+\.r;jrhPJ3+>@'YɳuG]&FyiFVP 1$^}#_m&G[-zy#-gA})]@4$O$e"9HL>&)&viW:6\Y {BF^ qr^P0k8EEiF&{]}Y<ߑ$LG1nʪPpj+nR˫4C^}%| D5ЬeDw94Uh>tԜE[5my_Og5LŔʕJN=D|"lζړ'mQԬ~I5x>du0i"~p{KȆ\'p MHQCh2 36cO&U Q7j]Y1_?gYZ5f9660f20a25d567b364013cd06a35f1c4c39c4d60153fda7f67c400babeac5ff8410bde1cb89937 979fcfd417ee7f5d3ccae23097201bc6a61b502d 02174d5517afee9459b8e12a7e4eb13ca591789bae7448821807254c32dcef99301e8cab7c3e4836