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 Ltl ] Separation_Algebra:threads=4elapsed=13.395cpu=37.444gc=1.880factor=2.807zXZִF! ]ŗXf[&Q) Һ|q1i˅3ѓAmXo6-Є\bZ&v & 5زeSOH5^솪4C_dvnF0֗:z5$gZTgrlx}Ժ q(<$,9iQH?7$ f7ށDX on76Ruh9);ziJi+]0vjuE0|@A٪ynWO>#ˌd>:2/ K$_Pe!dạ:ҥs$Ï!L$DqS*#lT>CTc$O( &@"\ۚ`"4pg878W}мZCAe{>i~ cg ^DI&XGu7"/a8kba',[9dÇ"f7rjAm3 /ᮌYO~qAY; с}4ܫzg9AUԁ#ȺҪ*?M4\)gO<} ~Gn0'tD JI/d805ѣ7+=隸yb lT?|ΐJnAtb68tBY:H-,oy949&zX91a*CSgZ8W)%u4֋>|/%wgYZ7zXZִF! ^4]ŗXiɟQcegQC#M?ЦeXoh!J[GteݽQ֯7ӂy·*=UGZEpgD=@xեIvd,`Jp3D0<":\ɱ1SپXu~T%QYF1grn1JR(~jzTI/״-,eKaجNS(93,(I%PEՏA>4_2aDO=z%V&JtH0ȞC3z.c۱gYZ7zXZִF! a-]ŗXi%L SBi^OH+kQבfM$F˒58}fVz]q?ЯlPū.֏` dn>&"ZDVoJ7QyD-aVVj?Cdedö)]H7˽Ey eC{X}FЍ_p7n99lAt2g#Ew !3_XQ 5{A.׋h9V Q3I -¯ޘ0&c9[<#rxl\wc{mu/dOuR2mf,̃[{-UXk}Ie6ρ*3@iR) PZݴ˵ )lpD3:~pfhћfʩ [ۡLZ:-RHXnE]x&h̘G0Fkk}:{Z<`@'ӿOm*YQsB$ՆR+/@*`uAsVdt?rau.ĵL]0.ՠI]Z~.]i ~#}ZPqˑx)~3b1YivewWeP5z_xj?37lnCNч$Z?RFWȈt`1CJ'?]0XtxD(0Wҭ0ˍ4mKSzjCS(b=ћc-n0DhJ[O ѣ9Ƞzt85;!>,00y"6=PDJB@]0"F{+.vrVh"Xo&/+5C iĖ+ZE\Pw3e~bs؈/ylR5mG(gjUIbѢ,z;YרlRhKZh YrT=f1 MFG%g$L/0C]+F!ԎUGVܿ^ uZat#N(jF~&V @ S>]!`/,!Ao²wn/ l]M,=F ] rekK}{!]8suObY0NLb"߀/lN-Vf^ܩy!g\xVy̐6[Qe."%ƭ7r {-eG]X& O3U :ֽx::q{QKkR.=[q c>-]^wLZLQ{-^ 6gYZbf6b837a5b52b73042e14c380ed7d9ed8aa87260d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 0b9c642baf939d258dfd45d0549daedc3df6d63e 1 Separation_Algebra