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   jdL ]I Gabow_SCC:threads=2elapsed=132.933cpu=245.420gc=8.700factor=1.857zXZִF! L]ŗXf1-/6vRZV2OHP"yZz%}<4hw,\~#?ǘ&LO X`-D9F%jˈ!G/⳹M1(tFU,[+$^:AĚXj}˄ё!Xğ UMF(9g-gʆ? d+*+]p;Ŭ|` v2?\^$<̂j{ ze\$t36̚%G -`1Walq8hd~PM$P1KiU 7'f>1#)8}eR0HAjmEW@,X6U%M&{<`^XWz;k{1OoHk̆Iso(UFqPahl>BiLAs%eC&:@jѶߒl!Bq *޷ `-M< hz9NOdr{.OI^@LW;d.vG/oIU|Zw+c reH&{M "U[:!;MGjoʏh4c4a_WIH|# h~HwyIĕ\O?ij!ROi\/HPgXE*$r~ERWm9P E'(13R3+V+R $=rľy>0#w9sa<NaL65n:^)J0OQKrKqJ:ь&_cK[ Į-5E6@8pLRʈx08:LjW O;$S!R·({-7/4yY9NTG$N ('eյ-#MMKuB.sψD'г 6uEZN]r HyE,[}/nנޢzSXiLqƜNkq̦p1O9i%# hShzrPR!ļߐwaJ5I},pPk{$_}o`6Xx > {>bSYn wX1q ~_,dASSޙoGOzDa$]tFՐ^2J>|U)f_|R*D8*e~r)I6nEHΨѳ~zzg]Hc͉QE͊JDbw{^t$Ic$l1S}.hu(w  [MJl)/IJ$d:j'UJC-= WG+ݷM8ؗ֞2⺽4;ˈk7 ^mw00_߶gYZ7zXZִF! ]ŗXiɟPmKhU1| 2 y_b0=bjanbsoApoˤoE 9So{1[}̎ TjO6Tٌ4&wѯ<콯=QXdY4Amf0mW KV0xUw[XE_#[vxy;f"`57pw'gZ4[!]8"X٨ց}D,'O SmlxI"Zwt)c_ˡnL'J@rHzK-A?uyUS?c/p[r1w,lbTF[mK>%yپ0`9^b)%^E? 7gR;Xc8!Ԙ:eCQ|0"hQ͆'^43<;qa}bxʾ d>IfpOxHoƋñEtx)4Si'/6XfxNwގ@0r S\Ū"sSE] ׊F? !ݻρeoY#_ߢP4*5X$J7 w{( k5]<2\*gEEq +v`vև OBs7xF%OWd9` u7EI0>yRXCrf˓aHWucWF7z4/nٖ<“ aOov˟ooe;mD+ڐ;,J1Jt\ubMRԢɞtFP_6 +5)S:Hl;>Ȇu}d?)'W :!6yncq-7rJB":@ķY /K#UE4rזnP}'LCG⪓L4)9բ:rҖoYAZQ)sHRO=eĘΈe?,>o^<2e!d$8MLY4:孊`1gM/H#Lǖdv]_٠Fdrj<^yk[*?ޅwX(6߇m.K'ǚD A늋U i׵W^dgkiO Rܙ}yz^sck#I5PKhcEX#6nc!T#zѣy/jp c>/=pӁr+NHO8Uё(1>y>73y5[* F*&I T i~j-'~+'(Qi!ٺ>H>鹷ȇGX\(cҎAs]wҦ-ADmx;?;9Ҩ|k=Y?rX{0F=[UcLM3 UEa0oeי 0/5xݺέП!M_ot&dE@#ݑ%ކ`$Nf'~J2O?|S>yVL[^Wwch2B~ F3Eq ?PXVPƕ$Ǫ*/C' .EǗ&&t6_N{҃Lُbu<%wl*Z $$nRl)荇dxAi;dbHu39FȶC5*e>H"?sB|mƤ$4&i R_zY}hZ3eyaݯT|T7dts%o.{_I9@|w#h7y>jsp"lOv2}`u'/&Y8?EUMU?K9FtQ >Xj ZSwQʩ!ln"xMٰ8F>>N4esZG=~g+wjs=s9ʗ|3y2Duf61lpNr!uayIE@:0OSۏR jGt:憶Z "G(]I55Q"?j$y[u^H:Ff+pVywrF{eSOzD'rk|!}U \8,vn!\Gz8sSz/vs_|^jۈD"ǝyh&JZkc3*DTSb6;?G֢ T ;8| !^W+&$ӭjFN6|,;ܞ.HTQ]mh ,k\tݑ|蹟DS쵄$ysD8 4ԍ>aZX}|-g HlDdb/LJvnjKPHcGq~ aܞr>.4:O9i2L8Y)N@32H'^Tk`A*oklQ%!L[yA%>]ֽB^C/FKÛ QChQ@$!يB*lbѧ${\7T.9zx:abI.;…w"\PÛ䔩][_V+aB?i v6