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 //N ,4t ] XML:threads=2elapsed=19.794cpu=32.896gc=2.168factor=1.667zXZִF! q]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=nK[u6՝枺!Hs?ݐsykFK6(]pkC# Ud4ne'Ď:~8-7cKur!?C { h|D'V f(8TװCCЮKqr*  k X]H&-BA4(5 <1i;BDkv s KED=Ti^8[41n֘u֡j./Ț(!3^f;JY} G+cB\R;̢2:K)gYZ7zXZִF! ]ŗXiɟ|E\Ât+.*aphG)%uGW,ѕsش-ׂ";BQ1l-V|b8$(,Rc삞k䓔|l ZAp{*k[DžPAu/G@[p @KLA4gVY34Ub"Ua(MgYZ7zXZִF! lZ]ŗXi%>g 3FBݻc"R|wWqZp}}|h+<&&oupxG E,եiǔF;뉳6%ZsE(GaξK˂xAvA&,A߷:nZիc[9{U)5r\yV* %.:pN,GӲn8yvێ2e# =2uW7aYbpz>dOܒ/8GjpK;qhr^>˓ x;vF&]]=i*'03w3{ڍ[\B6z TcCgax$g^kIߦq i2בt45=ckmGE}Gf?,bai¢TOOJ?SgmU<??Pd㓚:?j31*is[NEP'+XzPm3Zq;,Afa)Ht}9oc;6` ~R;)(rwEPSl4 wOZϝqL~\Q-x=9LЄgPL=ğUPO:&v1I2/d>j 5ƒ"]]N{ IER iI.+!6abkåb&CO(;j͏=~g{Onꬂ 1sƞ6Urv /MncJ齨- pm #"\ &l WId 5m+b)P9㇃.̀oS<-al|F܋ǰ1{+ݤE݅@ddJh<-FCx1tA:C$kv=S@8``\u64vK4š*+% %6;*G1N%!/bEb, ? %;uzõT>j_sy$FILϭA=fω &j։.oQ5V0Yjjԥb횾ԲNߑ8k4q O:@ZmڌY#W/ /uitkBK^W_9Z?"zY}x謆Ԁ2cwKV} &#:K}q7?F>a/|˖^'굵vQwg2!=H{N{+R1ڋZ&,[}6}[i'ߝ`eyA{9Psw9CČ,Kup$)vWCqIRAWya1q$"AOˈR]Hzn,nj{UK0AN~u9| {SxUޱR-OlUg#< #jyH=:{. |E4Z s=\Y YA/zqY2U,Rfɬ gYZ24166267af83a68a702a4114cdccd3461d8e0a90a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff  XML