SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 }1  ] Separation_Algebra:threads=4elapsed=13.343cpu=37.700gc=2.040factor=2.837zXZִF! ]ŗXf[&Q) Һ|q1i˅3ѓAmXo6-Є\bZ&x1Q%i(rpPyBTQe)RLV%}(餘ܥ4}”Knr԰yK2_](QbhH[{ ΃JFIr]T,NO!Ոt6t> Zq"ٚojPڼKMC:'sSJלT:4`r+IAfg.{g~G&Kū+ic+B] -,Ƙ[NWo _(^ө"2_(ʚt^.kscwXwF>$URI! qn,;~s0y5,k< S B\M{f˙'7m@jN|[o~9 u-KY__D2oJ[FH[-SijKλҬ2a0Fڎbi7ejHy^%`Uvx)Ghob; :9'*-,Vyɞ0Hi42^<`KHE0m#^ntL5Q;ifË!PL_[AhwJ]9*8ugYZ7zXZִF! ^;]ŗXiɟQcegQC#M?ЦeX[f\L 㼥(b_oQIa t vuAF#XԓEE01_&W tUQ^BwF>Us,mƅ+k:yQ!;^j׽3LbB+iWChiIīf0EDU;nl`aU&:}aEX*!l%cY.-U e'Vk_56ǥ26S֡L(5\mG qu*tsG=%S#Kl@1]SƱgYZ7zXZִF! a@]ŗXi%G̉Ss\?3 qL;۬RU yؘ6gҊ Ckg$t"G[Dk\oEza9òl#c G Alx̐90yuQ,Vuᛈ{yO Հ; 2WRnE Wj/=,B{y)s5\Aºy4"$]: ÊL7, Q+B*> \.#LXwA2@N /2nG>F[1FpX5րX:B_taHwETv1Ƭ~~dHflQq[O(=BJa$a f:_lxcR~㤎O ߥف؂,vIw aT'K"w+OpB>|`p8x7nQxB\,y#AE^Z$oXi$P=,H;YWiUMjuϯ>݆_{(JᣈIb~$YK!do>τ{3QpGA('E3iY8cSTd< K}[-?jĮ$N70;{Nap\ο)>PaAcIh_! E'.[дcvI!59M?9vv.+G2)/ʑd"1j{gw>mHzM&/wR\lb1{CɀE=B877sޓtw+>kLK2zq@W 4 w3dPS@,J&#]7LY[H٭8/[x [hXk-37h l.#rщgL)AxNcO0\q&v7zc%;nP[󍡺azj } XݗNZ+-!p[ؘKtQӌjCO!h[fRИ͓`L|,MBڽ] BB`iFQw"o!/I1Kae:.IKdPR@j[\肵6 O?4fq@+K2}E @NoBʜբ#gd/բF{ ){Tai\hO{Z!PwQ%ab\r'vRe Pdm#Zꙝ7&E?#gʬp{M|?T 8|PPu  c$!h7C.FPw\a21~o`Ϙc=B]PQrVBQIn|@1@ڭj VD?4fR-3"W=Iȶ,yNjÜxʘ#B ј>Vε'Z$v=# 7P6hẘYwz  MgYZ1b3adfae517bf276dd68ba8482741c5831c8772e78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 0551b21f0ca7e7af2e3b02d44cbe317759713319 1 Separation_Algebra