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 1' t< Y]List-Infinite:threads=2elapsed=26.149cpu=44.312gc=1.932factor=1.697zXZִF! <4]ŗXf1-/6vRZڕ`0 lO"Eu{h4}Hx݀u0*қ:#N`Y&})kOᾅT-]?P*IgvsQ>rAw/Ǵã6hn:w31B0Eo{˘A*[pD ?K]҅Ѭ'F1w^|8l/˓!z<adΔL+e025fb ʚ͢X*3NsPm ݲȇS 4ɘ(='yE[z{jȋF%Hhẋs+>?9>߆ޅ X-o9gsܜY񤊽Ntm )(u#$O3(xT_Ի4{|0]'S\Z؃3@'\:b?1yzG٪*V 77LsOEG7?K 1O52 -_`EBa$IgYZ7zXZִF! ]ŗXi%6uK=x#!*7<2]xO.k +2} A*cVcYIAq%,xF#*Lg$-SFyp<֋ݙ"Yn4TJ[z"|*\fNJ TJpe,`Lhƙ1gܓo>!{ES%EinVPbYqDBt<-TN}c۩ĢBJԂ԰ s}zzpUC_]{ڶPG׆[‡RE$vi'%pGh Up N'Mg t35mA4+\K]\_,vN~*u}2I}82=k+TŻQV\#X Bf9cNpǐP\ğ;w’EK5.7?1qNMCt+AIUx:E6XJҪ;:m

61GkNy9U&c`._.#)l! ;AJ(ȹejkF%ve4戉ݥGYXpnHn̪qpr.mѵNW\]Ver@ X!:Ah]֕!NY_s4Irkv!uv2BYthj%Ra)M@K5< VيrIΒn;y,GW ܘe3E3vO|T9R-q@*w1-2f+M'dew\6ḪrۦL}\8[댋3~QK8xn'#I%7aG^>˙fG-M#F>XXP@WXq(mȗSۗ9nfy$jj'1`!'5>\gz$C9 I.Ixi|bO~<߹qdSA,Y|EDL+bwͽ΄s6|]sgC :͗̚U]4_+sj&l'o3MIު4ѦcFwlU8~6sD=Oύ~nj+%;ClG_#.#ύ|$'L$jr` rbo Xxo}A^oݭvH e,]S[JF![P>6c[e;03]r{`r$V$3o4Xsom`>I|/sJ>_&\Y] Zd=@: