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 E1 | ] Separation_Algebra:threads=4elapsed=14.639cpu=39.608gc=1.836factor=2.717zXZִF!  ]ŗXf[&Q) Һ|q1i˅3ѓAmXo6-Є\bZ&x3$MḞ^纎щglQ$t|,{AGo%5c0l"͛Zw>Zz斓+;Lr ;,#eQ6 cbrf-'^":~9c=7.egr_x#Tke % iެ u"EL7!60}4*=gVD^UsjNZ.RWnx4>B*/lo IbCZSBQ~f?DRǡo~]- HWcuCҳ%> p [%FrVOq%bT ,Һ%1RڀI-T˩Eʹ|T97VpC9u:gAN#$7I]JewSl EFD 7\00)6[l3DAjn0נu*l@5 RO@1kDL N/ +(y#;_uS&וȀh-Ģ}njVq|-x r=4em__̦`UT`TMrc #qܙgPִiIZ2ۈtݢ#@dyg0PLn,> !gYZ7zXZִF! ^A]ŗXiɟQcegQC#M?ЦeX:!mP.1-<( JF*/YM#HtE?&0/myȥõ>/Q* u1Ʃ%O58Վ598~R=HFQU"D1U R?~ %_NjrȫwlWVaT>oX&Ji"GۯH0+ 8 '|mp~B\fk'cK./^,<r%I@"C0zcy_Dfpshϳ,joo|q6>P V)x-kUxclIޫ4z4iV7TꑀHk稥4{o6O}`LYcZk6F|'9Qg2r?!x(ANVt"T/j=폴S}Em]Ə@io|>9U oA x`t6̴gVE):CF,i˄5XZCd?&yBKJ^E_E8 SRROz;Dc.C6; ,Ug6|'24^24a~,R1s4tJJŸËx̷Hid~g(| nNLV3+rJq!?k4h{6)0Yy\w?b[kP8% ܋R)氍8մ5a?J\"q_mx x(Lk$ρA:jQ c@dk5Fn2V&3SS%⊪B[@TRA{A9^* h"$2@& Ӌ,|N?୒ pE ?<#^ כϷ)8,)D'GХ6 ٖdBss~92+& y*PR< e-5{:a@F,$RB)`ֺ H $p~K0oK^`ڂ ;qST5DԪߜg|g.LĘPCW`>CѺF-S後GuzTt%Xx7ܖ!񜩽IP,M(ˑ-"0/m~$r0X-UOJ@9$|hl@;} S;a۷kf0:UT a@Gm?n5ys1e_a(GiudqWb+}^pZld+v0tgEK;qƫۄ;:){ ?.hgYZ9f77ca8346fd261f604b18e3c2de3d476009c67b4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 b7ba101425f83f697343d91839379dcca204d185 1 Separation_Algebra