SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ?7 L Y/ Abstract-Hoare-Logics:threads=2elapsed=14.343cpu=24.204gc=1.768factor=1.697z 7 Abstract-Hoare-LogicsXZִF! {]ŗXf1-/6vRZ\vW>_=֭0fA@NF &Kkf혮Y[/<;z9[~<\Tär&7YoMUbp|֍> /^f7$ Oo:Ջ{ ]ȍIPI㇜xU r }2e%>SWE_ ae_"mB sAcYcsj([?4d}D h!ˡ[ TU;& |NZn?'e[/;CrIetX?%䘿aUz^RxS!b'{K|(i17Wi@\S0g:mhPM9_ eXob( 3Bw y D wTgHˋ<KOIHIc/vH" ."j7m?R/+($үmπl Q]Mqn(Dbv84Q(~m>jb5 L7 J߂d(\ =Зym%ri|~ӠJHӼr$SY ,γOȽ F}s. ~;Ŵ:4eO*Jo7l{S1慴+(/{i0GX+3nK|b ri"LB8"{~;  Hmf%ؿ:G$1s#PE&SW_rg*4p2inД$/G Gjކ9쨜u 5 Lw2js.8v}PUHӯ=B_l70rdKљ1z?_'H+ 3q- &`#N\,B0 .9CN([(GMDḥVJDӔ͂\p:l&r|w#ԏ'82HpZKAq',͞m}(M^2͆C ?уM ̀KNCBPӯv E8lGgmj<WH .\^CH]FqYV㖇8<}RqF(lP|ˢ(Dq)p1ltLe(Qܜ}$:Za\fc8$ak]Dyd>vBU/` 'Nըw7P>=KA'W; c <,1,hp. JVm2 l6{Sm℞UT?> =q*uH+6;eoEPƎSQx_b"9+ɑ nP!-<- xz9bHwQɍl,*I/͑TZΜ;mF")mDGmU_Cyֵ7W-WEPxvI 74d1i6m]L##SqUwRJ@x7-JLȩt0 :7{tڅ)}@ČbFVQ( ?^8l"B'SmӀ~f |pbA831HSHpj*0!7:Z!aoE,QDk+K[lJ#kg \X_.][&pi_Fr0,KQpHPrHu1v^!4"W~oiuUH~n X.acS3}rip{ӂ1 r[^| :[}nb Rs9&d˝]hYQN ipP{Tة`3]q6^oAiSn!jKIz$͌UpzL2 x(4\AzKqKéq/>P,אѷ`xZf`XHru2,x;߹*ٕ* ;|˪{4&"h