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 / TT ww Monomorphic_Monad:threads=2elapsed=21.089cpu=32.820gc=1.900factor=1.567zXZִF! D]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@Wdpx ßf֨Xq &dNE m2fZ]RjG4;b\\Ot #K̉_@DQ[B?sBmbm)hJ}# l̵/;aZ+!MJGrlv b[͗9B+}*p_OCK3 iFGe 7Fuj%"4PS#_x`i(RtMe|;?}N8DQ8 )Qo]Ƹ?\=xn;v/\:lAEp[hހ|APo{gYZ7zXZִF! n1]ŗXi%6y4%~ %vі|r|ZVw dc HA[9\,*PKH92RhilP(;F"U%l*Mφd '7sne Oܽay9raذ<8(Q$׾lSt|#CUg >UC{Q>,VErPТHvA3 ^#4 G q~MO?7ƹ-a'bQZ-++N3Z_.6c'X ?u=8n,?jrѫ]30/0^֦*ucz`<TϖvTWzZѶ=/YsS\Ufj-i!KǕI- M+1.%!'310^<< ID"Z{kF>%.!%3y$lnKOGKZ8_S~}j\EUhgp'qy4fIljI􄏋<[! 1A$@vlnkAxxC8]+cA67M\2o`/Uih{cpKTM-A]aųp W7!:TUQ4HMGG%"$:ّswj&Deqh'gC+)iGؔWpEGQjXtJJܻ#{'֛I@N%i]P˴-LQq]zEj |gQ:U]15Ԇ,YѭG9 pdžT> I6UqAW~Kq1I2($'fe )e>Cף9٢jWG8E=iD3"mtXW1A{w?P1h3LoZށuhX [9aJ|uw~w lY*nwt:duBQיkDTOَ]*E/2dQ\naܘkJ_:;b3uA#;5zz#krq O0%F7Oב$1zh@#Nl5+jLRvf$AWhPցA. VeTvDžwx;%$VH{WT 춾gYZ0ee64616e37177565479368c4c5f56d374d1d53c 24837394dc7825fa09c8fb6cdb11476fb0500072 29faed5f22449255e0b21ba27558435b9a4a13c3 31d068e04edd0d37788cb94803f5ac07cc317dd0 d83b8216582c5d394a8fd429e4a61f1f74d230d9 f819085086da7f5b6a4a45373915100bfa5c0514554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 1d78b900664117bc27648b4f3031230e0f9a4d44 b4451c95da7886ee69cc5cc3073eec6a1926bb4c / Monomorphic_Monad