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 g)L\t ]S Multirelations:threads=4elapsed=73.782cpu=177.212gc=7.568factor=2.407zXZִF! 9@^]ŗXf[&Nk~T3RܪSbnaGw|jK#%w72۲ΞNM տ^P"t*D(<x}wd(Xa2$v * .:vpiCgko PtR:`'MT:D~xUW]l>-ʻEQ(:x1f;.ml-"z1i$Ţ82$JO ي%2[RMjv g+ɑjw&҄ݐVeݮ${JzZZkY I-: x549L#Vt+}:_)9@7聴= ߄EK>X M2=h ܡ /麡JԈ1C겻+ΛB!wM44{̷3Θhcv?y^M"jk FȻ΢2UKdg] EzͤP1l ,) RLT^eyCF@{]Qr8=H1-l瘃FZM]YEYѾP#@(qًE d^ƱtDܟsq&F.Rq-3yyDKHME?¾+RmtmM)[a[,ku,&bf%=^bZl|Ӂj R5$=FJZ:;[0Ԍ? % ` )p}.pv > ?Oqs&Hďud@a9 j (QcQx*%WKBhW54|/XX&Յr3ȵLES+¬KeJ,Y"f1hvm<'l6/*aYONLCKE桉pPG`OKzrt ;קBrDNPX~~>>mIxi̒E }Oex=go7(| >Sc3>#AOg!H.Aϸ)&韝 PBüOB8 `4Cޤ`|p+{F.W0T~a@0JϩCiDWlW;- -õ;KW+[kc񌴮X{/4V%g 3"InǼc&smĩ{h˅ l$kgym&s.o 4pW`V@5>P1~]CO&95_W_ S. T>Fp =ǭ2M4PB?RWUw:M:ӱA [UZP/>}XTX.TJ}^uAXK0< | /[30DrŢS:Reo)P58'J $\-~+I]{)f!X\|VjdjJ0r _g)~or%Дp :o^X"}ќBPD҆h:~/|"eɂ* kdK}.nD:Hлx^]MsHp^p3iqO}ΜBi*X3b"uf9ȡz}e)!lH->?ᒋ K^k@ؽOa&贔*hN Mgjr]g`G2:r(l.>4+XV*mKcj+0]y$w.iNY\1sk[KF^)J#&521݋J7(cقlbC!$zuWLr 3Khx9u=;Th#Ilq Wgpe>i4 "Y 'v }H b썌.X nkϓ.{Q #%a_{\D0}B]hdωlEۆINq:ܫWJ4ïJIoyޟ )"ÓEsXó9)MP6yy3\~` 5^yx)4,Epvz6 ʼ3*rc}7X!W~~hݓ4z14f_f% MLC-j}[<@UP@WXKj$ܰ̄(raxf#pI}S6`?ޖ]U/))M~+E=APꮚwٲ*[y!WI;ƚZ#:k ו-ˌy&junl!A{4 BXPqXq7͋&eG޲ R̛U$:Oܴ alRi2lNsPSOK?j0[ 8F`t:yKiCR=ǠVhKre#֢}Y%9Qvqa?%lToZ#DgXN:1\]{4_Iôj64ު™y hSuRf"eQ)[\N~@Vk.X_L.PMZ.<,7|(tQ?/mBeb[?B/Թ%j )L{;PL8!N/XRH2d-^qjMP eI*N1f(=Eq6a6X omTu#Q`}fj1@M.[:2ߦјִfM4\ToߞX6I& rŋ@ݎd+&̥\1&cK6`.,L>ⓓB[6w wg#}2t&6݉cA׳Y rcvX(}4nǓ#33gYZbd31f881965aa6d684ea0ad939201c4608f1d2099cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 5f4a2d69164630c372a3b2f4b189eac207dc4312 e268a54d98ab76a390e3f79597526f3c60a7d3f1