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   l54| ]% Hidden_Markov_Models:threads=4elapsed=102.260cpu=160.928gc=10.476factor=1.577zXZִF! 1R]ŗXf[&pa1#3ܕm0omAiW܂ʹW,v+Ϥ ,Dc%&gq@N*_DOrKםJx [8OTE1{ Ϸ~Pwf,8_8!6W/IxbU c-N.ǓXq.6~=P;.PK'#\ϼ~,20\ OQ? f12 rEE,JG|_'>82k#Dt3YjjXr|C,3Ѐt"Z1#kc MN/!wj`or(UM9u7&`&"ME)3[>(TV&L9XV"ۧ5V=YhȬWajE.Qn"F.nW؇Bu"HT bbDp)3ݾν8-8m!JYSunrKX77ci)Z Gk=h>й7ah/(^?GDBJpzX'3Yפu͵g-'af5_:NDf U etqQ0]/HlD& Ba3L#RtX!-]me[^q4SmyR؂r8tRN^^v晩nx!qآq0g!l$<8 %:gYZ7zXZִF! Y]ŗXi%@b^{cPXL71\dzL5u٢[YϿ0XC+?kʑ=RSSkIOI>.A:r B]nC|oDOTkDU~ᴗ[,$M=Y1c[{ʠuy7^&p*ߤLtBUg@*Նs YFg [eoQ9 g pեՠ p>@#-1 wU]FpEٟo3P,+́}{OyW[XceT!Eh~^\F:(mUjOT+ī `?˙r%*8ɔ gW$;ڟF=߬7na"!(KTGx4)VӲ([Env#;n lokc1=m7 =+4@C<{O(=Ruܤֲ)HE!!r7rU%=8Bf165p_ҏM_}w:ʹaqC&x$#xbS,: kfgґYn)#b)!:b[~dR8,є6Ѽ#x8^1o~q^;C` (>t!M]mNw~4jB!8FXB=6! ƌڪgΙ9 bKvwsK'ϲ>4xKaBR I-VB1 5 Hidden_Markov_Models  }hl"vU OcūFKzbKt6Qv3-%WWws! /z2m''_iNbaBD@7GH%)QFe]UylϲzBKpMMՀ##GrOσkFKz`Ru1(frpwéLX1e_҈yC߄8( 7'' m.Sx,Ϊa5^`EQK\\s^#L9P>}&\f7uM3uӭm*^-}: jG\WPk| C$aI #ͫAʍp0AεkW܀_=≓Z2z3v[nh՘b_uJ(S|@>7E>1їW(r:d^#e@jї#Ѽ~"VwJnv|u75$M[4=ȿn5I6M ũ}Lox GN[rM/J[KKS;AfɁ&i/co WȖs*BOR$zrL rZiYNh A(Z+RSqC0@V* Md]+ (`GOc"EzY(u8et:X~/SSݗ=g9lL*JY0J׸KqȆDbuoT/՚I5U1OQQ2W X>]z>OrWp1j/*߫ɒAʤBm4ksV^0pYm˚#z4okZ=N)PWJu̱8 BNP_{>$i b829;5E\QΓG/v"Jo9c= ĨMUL.;#AʯIlNM 2S 2 -ѿe, UFfN)7zWIn].4|[xXcP=2Y1vI`1vϵpŘH j=nnK\ϹSb"$% D)p#j h'7쿪pN6M{=F g5Kju6iy@QWG:~9̬]!$ Q# TYh4ۣ{f9⑼3Ѥ>[\|nTDbs)y(:,j kyr>4RUzzb0]az™mÿ]0N,ψ%ыb F^!ܛTԙȏf8fbo9ŵ57^z1jNiŏ6BBYL2c@[9&E( ,H?g %#UB!6OVg]Npn="763yaz?bȗI"@7\d#:hcv 1 `̺[ÙNOqI9 F{H ?J I+/l%Ʌ}\іt˂X^]=!wdI,?גHXO.)O yTnH_/ s7pfrرi)<8$\70|-xPCGjs xFu[=~GAgjp[눁2v6,Ѡ,-f$;5iÏ q÷LKB2} ֙m؉;[|dUylr}/ [vnMͧrzda$醟D"Jȟk 􁲳&ݛR߷ދ96^{Pp)Hie~Ɔ1e[^qI