SQLite format 3@ .;  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 t  ] Separation_Algebra:threads=4elapsed=13.613cpu=38.428gc=1.860factor=2.827zXZִF! d]ŗXf[&Q) Һ|q1i˅3ѓAmXo6-Є\bZ&y/͂R僉9syHAm<4mdD2u|_9 A~u9x 7myz$-==qղq @!>g2z>yf:QZn82ݶ$:/N2XfZڐzU*yY/(1jr%Ana sjV-*stE[mJp8-5ѫd;#E~d, ̡#lqiAIVQÈ Na?qjțyRV]]Ը4a8L +Y$vLlWxQ*ï`[lt[0.cjBbDSDkɌ)崹?ս4/b}Zb C5 _|_x wV9E%iS\d>([w`xjxNzDA[˴G]QؐuA`Q!zFcGVc .[~0ts?߄Ђ*gSQӒ6=S7Fe 7:=;<#E*5ͱgYZ7zXZִF! ^>]ŗXiɟQcegQC#M?ЦeXqiֺqyyq52*\q |i1"\[1HNW?#3)}ɔM*mw<|y|f\6Nzŕ) K\($$yה0ïDw'"#6^0Ɇȴ#t~0 eW٧Q(_SÊ@/7KŕÃ7f?dKۿ,=Ӎhf$*W|;zKp;_ VR#4[R_[houaFp@zgYZ7zXZִF! dG]ŗXi%I oĦZ@X{l};1.MkGJϩveBӍym%iaU ߩӕsAN{ JvC/C"\1=`*k3%S`I/j\nqLP>agP]-ލ-y1i;WIi]'DM!2 \J!(Wkh6~ec+,q!jÞ yKV &Fk OQPkcq^u*bɼ d*jY*! 8É h\ΆvNCh6e~[5&|,Tє R/>q!#]Y S?P)RMgYr@Vf0s=:_4Õ|}LG*0qx>^bHWOF'ؓ~˜ĶmW-<:Y)rďjS7MɦEEW sEKpUBQ2x/Mie;UW9#-v:JOܗXĒ*Ff/~זLx+L0sJ|gOLDUC}|VeˇRNuTS1E;3]М_,OW=0GFy,P8kpU"6+;Ŵ̲m^pwhgVp#ԉXv[N ʕjy05@#>D-iC:~M MdcvB0 Q6[b6*EǥoUdԽfci>V'y[,AUjE7 f' zjPA`>ƗH/_?YX+\2Pxﵼ ^L.ಛ<`m{ArċKi̗X8uI=gjfA2wβgp^9@VUf!Tg "7L[^PJb=pn^7Y|d6پ{|tCBc6 ~3Qb[RIEXZ|/=l= U')4)صpa7DII8hܲ`*?urT/O;.YU5dRH FK `x}\ Jh:z]JyN2Zמ5p_.S$.o:L@NqHIs۝^}7k4<_qPq7n;` Єf Lr|gRs %s=د^9F4t gs8Q>@刻$PղM =tZRS_]_/r{'ӆ "^՘`D?" a+'$Bhѽ(OScX'lA- | k7"Tf@3 VTd%pdYwJA%ˁʒT d];ٟT,ƦTI|ɲtRevwW"vsM9 gYZ4ef6ec3d003ad0ccb59b6ef670ca7686d10279005a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 c768feaf5051971a9b6cf376a47d06930d9d3a97 1 Separation_Algebra