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 |Y l ?/]Noninterference_Sequential_Composition:threads=2elapsed=22.490cpu=38.084gc=1.712factor=1.697zXZִF! >]ŗXf1-/6vR[y(&j-:6TFڌ2?}k>osW?|?j6:4쵬}3 ߞ2[uA$*I =v1w$EAŸb1Ϲc#Mzx Rb'#ħvGʹgё+nI%^6V"oF!{C)GZ7WHH+"F->M h| ۮ+)1O%űvr"Ul^6LMQzQ$~ŁJŠ5*|1o[v,sՏ4XUqFai?:=,/LMVK@S[r<[dmxPfq?ʒY-Bf.YY3irhޥsCS[XMɡF#Y/q;7bh7W.@ÒJ%T +i&DqI,K.U/=)b %QT x=\(agYZ7zXZִF! xn]ŗXi%6xb={%ķx*Ha\?>4`nϠ'#zfs6,ug@29i<@x~pBB]U9zD<[Weʧm|S gq{0fuz z>O}Dq׳7pojDSs1{hUuoy(d]/}3" x;jq0D{E`/&3Zvc>d6}rlR'olߕg(r^CVD]0x6u;Vh5HO@8jmEbN5UV;yg8(Sp `8IT&6%y5)/ZTF2 < )U*0L MPUyXN]K3 3ޅ@<~x,:~zn; _Q4cGȤD*>~.sP1KB ?k~\C)!LvY2@ @_WV?W?4~k%vPcK帚0Ӣbf߉t\@lE4^+G=CJ +2 < kR49+'*\ϕ %-Jq3b(r,ɱk5q_g'BϠez=D/8e_[BDFԪXOԱOxhBJ=90m`\E,$eq(zg}]ye'^\]%<9'+aI"Pv1VyqjZn𩷢/0 z!,5h(Dk[溰z I-Dwj$ʙ|E#e9M㾍Vhg>m