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  \|t ] ZF-UNITY:threads=6elapsed=5.989cpu=30.852gc=1.196factor=5.157zXZִF! f]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8;[hH%ŊE\)zVɲ\YBB"w.?8>_fℶ&}[i8bO˽.ng`(؈p8d A#AzPstr`yoKS7ڒb)-wA(ХdpΦyζz!)KWrIy= X;).,2Z~DyfDIHTѦ&-c$wlͷ'I&[wn\x﫡{ ]*I #k#%x@ 'P.^a`E"9ezD`nX2<Pi]Gi\[FZD۲O` ©8T^z4lD41y7:m}gVxvgrj/ˁF̞=h1U̙(t3މPݐhŀ+/ԫN\uB 7y"+ɒE7ސkpVF:AaT M&L¥vAdvNڲFt ˾} 9{Nza/*^bHDG~.2Xfm&c >i"1 ˥.ro#wwQ2 dN(R_РMNŲGd~%BQi7ˮSAp̌^g<  /gYZ7zXZִF! qr]ŗXi%>oniσZt]4)S"!Rr*i^R:t|HIY u.G9^-h޼t2.^NjᰁƯ%tCX@><:ȱ1`XQrBIMSqa׷˱̋b&9NUJoPp|mS⢻B5N"梛#0j,D9/ DwC+Tz"&«5n,zKС&2'{s9j`SMQj#FNĨ&c&?ްѥ)"d#{9jAeK|X;k 5%fBCGR%2nl7Oܮe02*:<s+o\Tv-IŃ^R *lF]b R|yDI,2J,Ņ=FNV5":0"OyU!H*ux%&dkź`h%:}P'oSSIH! &6)LAלK33 #kg&yM5[xb`2hB~8h;1kUWgYZ1ecf4d3252f1c74b68c64727f685c92546174acfdfb2cff39355450cfd9a38d0868c45c739868d18 e0fe7282ea03e3c9c529047b64d1dc7f4efb303f 1e0b089270d14e789be0a04c152c8e8a58b3738a   ZF-UNITY