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 Z dT, ] ZF-UNITY:threads=6elapsed=5.725cpu=29.804gc=1.324factor=5.217zXZִF! i]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8 kn~aGdOm~_9AV/˒e>1I^lSVI3FXy-C?Κ\p<zFC*HSh򱯲EUƒPB[3)V/Z#tzz.52"0 `W+yڵ+s7Q77Y}X!fNyug<*oZٛ{{j/-f8)B%H螻6V ; PkZk E YPE+NKv4`QP]7Vl2adaŪ&=&T:C4Rı IF r/7`9 .$m:6y#|R8M)<Skt9uTaj퐼 `%+35P;V g8yNna"M Њ%l~<+AG r{g "u nr@Lobk:рxȵ9]Xk_u=#8׌gYZ7zXZִF! hb]ŗXiɟ9 i:4V;}A<<ګMP7f ש=,(P۝–LTU)DU3x*+d_i;?r8,Zx$ pq'p.m+Z`ѥq5r+"G:Gҋ{z^MhRdr:Z%k8\d^ljd|3{{G99'zKV`ܡӘ4 /MSȾ;I8:_f ){IqTM%z8U>˦?d\v;h C˔^>ғ6{4!F%>F_za%i?f t0gYZ7zXZִF! !]ŗXi%Bj@nɠ%;tS<^,(P<-To.l%5e_N5rzuh"(Rr>Ls0‘]o'h;<.پxqBW ڊx}2D.X/U6h^濽JTR'UaJͯ z=  7F1$V[QXsY" քl\Z;:8pHsR)A(=(DPn吱52URrSzc$#F4N/Z;TM>OFh5mZzJ%$4iq ӈ&Wut="Ć]k\^MoY5 19{V8r]t,ԝBE~!W^n3lΕ}?6Ѯ`=_Kt.|r;AZ#}LLK5q;o(v|U=93Cf gYZ5976a0df623d8ce17c289ada35c069180e87bdae3dd106b0fc6e16ab72e3261eac1cce577c86ae1f 1d053e82fdf0a51ed28b25b25840917788bc25fa edbf913e1e261cae79f9cb4a8b0a7cd981c9d29a   ZF-UNITY