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 nn9 L m/ PSemigroupsConvolution:threads=2elapsed=24.166cpu=45.640gc=1.792factor=1.897zXZִF! (Y]ŗXf1-/6vR[2| Mꖯ)KqPfڪűJ:7gao繩u^O[w L7^9P/t f(j&IOL`*NrfML/OА! HDvԩmJ\7XHZ:;Cgz#AUR -'|ZzRBW]G%$E14}0ynl R\nCq$a 6We6X1s*7a(WQƒYDsopFND{p1;jWϼZDEYL; 8R2-n7Kߣ B)o~FQq)Jno+唅P8æd˴TA[Q#4e7`V"AJg6giFC#O 𐹢ډ#?vfv7 C!,G`]Vjs)y|V^hX Oe FEw,Aeds_6 .e~黄6QXQT { C+NFLۆc6B ̨+U@+ܲɅynaycMXbx`7rFv-yD1bN55H>.xw(@j][;= YA%ecp^PX nfgDl7=t=~)&2?V~#.x(_9]LZHh[&ߩUs>#ђR?xx2R9FCPegYZ7zXZִF! zg_]ŗXi%6xmj_GpƯLHG;rxz ĭCFScH Z3./"s@̡8/W_M) :mγ `US'd=fpWbsaPn 1.]$FկPz'KZ b@֧J>sQ/2&!qzSfd :p&P`'6cD13v mX+'ɃN-/ĂZяw6skQF"&{b mX;: UsVEՖ]uD‰Ie|lN,峵\=9ۛ;"g:ƞuX=?r*Ќ lSmK([t0=UxyxuR܁G(Is Wv)lH[<΢- N@FA)tȨ @s9?3HL{k XW=4 LCaěE5Lz+3#2#޿G?_-AaI}̊p } ,͞oiH頪" –A{g+gXj+ ONSؖ|z`e9+y²^6W)!^D +!f}U:* ѐ*$~Sd`X%P*L>Eٷ?,528[Ɠ- )g<զȹZWDw&\`HGYȐ>] ۱F7#Jd|Ī Do]kvegRL&¢;ML_wh _9faTzv8r4$ƛk"s +ӖX?'6;u}"Sk T-g$mcwtjnR:? `[D6R4m?˟zZvr]iNpPAm75W:- Y}~c)*mX$ԉꤒpk6]c&QӳprB}yy X룁 ]Xn۰:n\{cD(6?s#tz`.M5zJxmD(ȇ? EnE\k]I[e+}E)F VG\ʸp'}'q}4kn-\>a