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 22KO $ SS Noninterference_Generic_Unwinding:threads=2elapsed=19.289cpu=21.228gc=0.280factor=1.107zXZִF! c]ŗXf1-/6vR[y(&j-:69:j7uSȆ"-|i+̆;nJrL΁խ5zxWDƷܘk`J"G>>-B7/(,:gkM K! yOgf,SDGWKT^Zg+R?GmޛUmg}m upL'{chM햼r;٪)xc.R~ nA$bj9/>eu}8d=5;e<1_޺7΍N1)pG%b^y]DmZ .vB{$A)ukd~GoM+;MXVDv?$, gYZ7zXZִF! g.]ŗXi% rW?'N},Nr J-@n7T }Ο ?nƊSl X#EmLɾIثJS=w갬\t;ByMR 4Y\'.l+ze2푭$HFV0EM$8i#G }:-LO㼕LW\'۫<ʶda]3+H>Kvvl2S-T?]jubH]AqNZ8hBYCE䉾 vv"EP m#'$@]Ka殺+GE塹ȟ| !^V^5\ȱJ%8QS83)x~LFׯaS6=eB2ĿDU:0JE+^S|:VŬZyHκ`kctNHZc;e/FqNjLuoϾ͎H;k C|$z7D_: X99.  1vNI~{fK!)6'>|KK`2rFhCGaNߋ =`ObyH W`a^2`.5NI=:C|xq˨h>'.[}z5e9L+ gYg7 3(ArZ|4 h2>?/,R4RnXxZ% 9IA QKvSu܌-%#!{R4lYЙ@EUC7/db6*+ґBddzѫ,Ñ>WSo[()!yuW:p H:͐;1lYO`]wc?oSRwɩ/eCzZp4)4V:-Q7rgz$t>\ BCi]K8Xb%:qֲmksI0ȿվH qFewD1ˁibDZ^_5%58u;= l'fϲ &t{ %f!W 9@ҹ-A7W;وqi |`4 #T5jxBQPfZR?yٳ߻ YI[3v`M*Xg2CB". &RgYZ22c7c96374cc8e6f12463adcfb46622f468d2e5b 570d467a2b19b2b2c091e27249319509409630cd c4c254ff95d72c02a4760691cee79537293f6e69 d9d1d3f62c709116a8a81b1f6e8cf7b541a4d8ac9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 72f3f3299f592570269d947ea511149e76ff2bee 573ba84ad9a6888f9bd859046859eaa6fa516c0e $O Noninterference_Generic_Unwinding