SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 e7 lL ]Pre_Algebraic_Numbers:threads=2elapsed=15.054cpu=29.712gc=0.632factor=1.977zXZִF! b .]ŗXf1-/6vRZ*_u#K{Tujab"pm͗t'\H0UCEp[olvm4s|,G e(Z* cʃOjypF~X DB쏙iO:.t.ƴIGH ͌ 6^̗n)4|؅)89+흌Du"n9+BEr<%]k|V{B_Eimobb̟?^k}-.w&L53OTU6zZՖp`E4(=Fs}:' Rԣ_'97%j* iAC$6Jё{p!k;)) R R~M.]Z3Z1/Tڥ$Ȟn쥲+zlUF50Xs`N@@JEq8wHhlÒSZT #=eپ]2%JS,r*(9"ÝgR0m sVXMu.녫*Y U#ʹFOK(.g`D̤Mpȿ h1?ocUzsu ?!L[џ~A&\Eٛx6{XKTt=](O`AOHIN%?9~>OId}*VZO#l(a+*g*zrM5@-&sY>=zq6a)ۊR">hII A*?ek"*w+EY20ij=gk iUEi1Ma VκBc*mؓmx րdp7!hu()B fDtO!= ʀc'E([={C 1poOKPabEJ}(eLnZ?FXyEvRL>TU<@9; ˤ*6ab,kMkjIHa1R^< k!/G:ַj i-c  Kр 8[~_U H/+ QKVPlv>ee?;27V;hY/b'ID\1E%R㰡jat 7Fwb0[Ȥ4o XFXSYe}g"kfT)cdӚI篇OTR`w:6)ݠ˫b֞40EI 8I L(P0 'RwjL>Aցd $z1t'<ޤjz!_+l3N8; nR5_Wm  ĭU^v%DJj"fٞ3,{.q$Ap-NO*ӳp1>>)\q|xWS3O7ƃJ'ݠ!C@ 0]ke(K4Tȓ Oa֍`,(S?XsgYZ7zXZִF! H]ŗXi%ُzPAgxո$چZ Wths[DxM݀5х P"чY'BdBHӨz#>?5 YR߮K%q>bg?HBIDHT[y8"a{ܽe^ͺ,$g9_9a~q}Kym-+5&Eg8ʳEtD R &"}(ϡnz ~ƛw[yb[78nK )'l&'h:>mPomĊ*B,D;(tO@sme8 gGBؐ:5|ѣmRP("ݣ?[*X4^_S@IQ *W f #ҩPy>"c;3bOh ب$j "Lc|3*vIo2+?ZSFNN4]c3~d-u$>@&&h