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 n# \T +/]HOL-Nominal:threads=6elapsed=6.479cpu=16.640gc=0.732factor=2.577zXZִF! -']ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/GW]Aɀ=ϗD268 qj⛝[xRB*[({ Q5R CYcJc8g5\1sij[\k &e-3ZG;P'[66qǸ@H<؊OmJCվR*J3LDl Xn 3͔z)rCxRzAVds)Fb;I 1h \H$=~pX}qevr0tq|Abo1/13R;XH[,d`n͠bzk1 *ph+""& k&Jxlo>cs `g5za%[RF8*>uHd S]Kk䆢$6IٍK~4ʖ(SDV*A[4EW$J ‹T6*m:EXlЁAP„kur4зzSkP&:'"$֞ȝ}L;n>%4(^+%X>ϤX)Z!ٮ)@1;, Dz9RӾ(E^/MPoQVagT}Y/Y`V;0헺tȥ{OE?K^Jkal ~v/sG>J)MCb }1Z@`c O1Kן)D{o:+"D1wGHIaRWlW7I็eh9ᬻ+>I,8ʷI:Z;lOM[>23U[ra. ms~O^[ԓtcWlV΅eg C؝xܦ>|4觩#os<%OTG̋GZ~qwm2`rSssMDf4 ^ 'OJP[b"gYZ7zXZִF! ]ŗXi%q}3PղZ$bJ1kdR#TܴN9Z 4Fq3=x|~ _$l-OCg@AW7 wޟUR*Bʀ&M;ӟ~'"cÜbfh; "70ت\p<",LS$ [!DEH-'X93O/q IB, i0rzDqq=iqf{>d_ʺ~!cXR5YGT_D`fzT2_UTgZObaF:VxJ8Oq416{ciCyi$A׭s {ίbj,P镾(~w Z2w1,9$I~W( ZB ch\7_NNQ0">.E8ÓeYH)=4q]GWށ)7yⲹm|YZMQ. qcCm͜TPч2b>"j?