SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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,D ]/]Noninterference_Sequential_Composition:threads=2elapsed=22.099cpu=36.844gc=1.820factor=1.677zXZִF! S^]ŗXf1-/6vR[y(&j-:6c5df7渝6+rS1(*±&grNm~uj:u[%k-F|xf. d}CZ6 _3 qAG o_Xx}ï2mdOnUN#.l#ٕ >4ɷ+s7fwyTկ5ԬӇX&S~#˕H;z`}_?`^tj-$LSЌ_>!0V%}:S9B/K#"tQ .3ȉ@|h,#Ĺ`Q^Jb&T mjje_H8}jzT;NeYL lk֍zEJѕdL8-bL^6D \1vSZ>;v)$t~QKZyy+#C ]Eۏ $.O B}@>j姃xbT.i;Ѳjú{O$gYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfY2P_}&ܲ%ro͙ƈV]`47+քd++IdEaC" `_.NONem/'r[~'HJVRީ5;xJf\'TGΐd&?xq]_W`uP6HQpnFTh{|*8_-4Yƺp[kǜ㼘7 gYZ7zXZִF! ]ŗXi%>g/r[5O;'p/uT }w#PsA pr6$< wpV~p\buP!g@\=ҡ)YGbD6:ې"c4iCYaFp}zOaNt4yd_ӴR qh7&쾥)VC`]z #3]W9;:ݩJnNj~k*і/zn}%Bǁu7ϞNs-׍NAҶڍ>W|ʧY{7/2aC6jĺC0R:QijL9.!hz)ͣGAv~s` Tc+4nǷeIVZymӃM.`ga)+rcř=`'r6 /I$]jo߭ +֪A+ΐ~ &^mM:jZܑ4k݆8ĩQjjze`=hwqdH#ds&/LYb8o:V'~ ӷc!XxequpTrظ2־AhmL!Y"qEAWh//f$Oˆ)u2/ O' %sȭѐ=eQ ) -)}T>rhn9ۛ-!K8#pVw-͏}Q+7{=|־BjSƺ!yg"|CD `:NbCðT8`T ZAOK$g ?34q "fciXF͑oqZ $ &>+~60tf&Xa*R >HQ'X&5@!F \#A,;[9[a5լOy1OBTcϜ=+@Т0p-{3'HØ4gUaO{iŰ-l+7Epڂ] U9P|Ч%Lۋq ҂1Mhf=aoOQݍq:5MT]T@XA <(+ V%ՄƉ?F䞷9ȠrHyPj<Ջqja񏲺ȝV"&\ sV1de&?7v[ܜ-N