SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ]]  D }/]UPF:threads=2elapsed=34.628cpu=66.516gc=2.760factor=1.927zXZִF! G>]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^z=Ϛ~5-jե0N'sWm=EM%, Uk& =GZNjV霒z 3&C87BC݂LHOjTd;!=KUcY$cg3Ƿ̒ףKQ7INRf]&ڗCA:p&|?'6n|&]cpxՁ_"&QB ?eJWmbN%YӭN[58{њK"ve#3ejBl-]JMi4= OݶWjA^y|RiZ]4`%O0 G,DD!Jņc!@t'MCǎj9Հ ڋ[BlH%0bg+\$?\yY4%ĥRɬfxnCҊJVZ.@yFoxwicػO]}y5zr+{fqm?d)vll*pU<1%xAa6)Y (ErD5 )h3MxxuƘ# ;w;+ޛkf,}c:!Lo#uq1FPxt9F]7j=oF+׭$>F.- :egYZ7zXZִF! Y]ŗXi%6ǻ\1ST,~+f-MZ+cܢTUGPk-O5`Eϼ#d2 gE 7gʿt̜5mƯ+QWc?r+F/mSڻ2#AX=~C+JM? Rm"7ރا{u&p/J"<+4pN9!uHz`hRv\zݞcC:h؀}k.xr/r; C[Z!pA*JJpװz oJxSܣ:md{p],u{oeE+c:,l<-r[g[UDbj*|6_D蔻 l@;KeZ)a{r7| 0>f:α8 VT,0d+ތClx!\Vѝ* D % 4z&AǶϑDv ]dSn81 i*TJ1tn v1QWgch='\ OM-Yڝ7,hC mc_XcAҞϣ{`bb IX\bTD2ܣV|sD%g\:DD7{1W01{UvMO1,mǰ Zd5Q?bچ}ܙʻLBAD.(GJe+VT՚ekk' 84V2KĘwM%8u(Wϲy7HtTH@W?۹݆l[k8giOb+jR0J]SE{ U>f~sRvtI͟2;VhI:SA]iE.5 vV6qev%[GdfT* %eidTD%0n37qPH_c!o޸4!d2W&))CH 8a⹐7gUköfL*Cgb6:-g"bg*",%lW}ih$`:T)$HxBp/R"};+u?Q]q7$\?N8_0#^֮n*Ƌg#ӬHS*D\Bqw^cz(Z_J\p \kG0@5de|sZsiž%  Ѹg5OIS+aC.$^σoFs=%/ aYNh تv#SX"j)L}t{ 䱨:&L|ڲkU!k9%W\n2<6@'DNjC/,0XUM|5!ՇxԅNù攢[6p C*Bt/ ]9zzVmt !- 8O'\PotP?$$-$>Rҩ!>Aqq r/`3aޗ2aal3 U@fR 耉Ek$ i ʘ{,"y! ,ʚH