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 ~ ,L4 ] ZF-UNITY:threads=6elapsed=5.850cpu=30.896gc=1.316factor=5.287zXZִF! /]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8 S#5ƞ.0\1w_6nzhDf"=.a͓Gڡu!UŮsY+ t5-tݯrDW%?zW*4T@,?7T8ɯ0L{oТQ̌]a %@5;_gݶ=Pg@ז٧Yݿ.hUIB8.!QB= Gs7w\AŒ#%GɎs[7I_;"}Su7t{Fs~`tgѴL U#[1QAq\W)%*̾FYK\G-$;,#WpIɾ|FK+LvVt7삪>Dc JP^iC 73(J$-}>+0ϟm-rW5g!Խէʬ5AnRQ_-X@vBBv(9Ş!*kt9in ME11SeZ1-8#{Lo`+|Gs>Ԡ&DgYZ7zXZִF! h]]ŗXiɟ9 i:4V;}A<<ګMP7h !gA1S8H|Ã,:jϹ,HXiȲiHDk#,z|@7e5KV9]yfkyeRvkUdk1{ӤA-+Etvv&Rj+.#>t}˘Od1dS/X2@' 7pKa F4Ǵ^F+ `sBB("c-<`>!Xqؓ^MpPp;9ן"}locsDEЙ I_C@H@5f\L ;ŭܰ &f@ D-gYZ7zXZִF! !]ŗXi%GNq~Mxoe="z62#SX!{E,Ybg#vW8p%Skl~baK 4K=axB–ֻ[훻{趩q/w@5! صU:BfW2D EZU~rտd^L);D|/ME}1l%])FERƉaXjv `c8c@c*ДWUwT6J!xi(詶cgQjAiJ 'z"? 5@?J dhūJ]$hU9[cĊ!Ԩu + Nk+*:r4@ļnoNiЕNj[tˏAJ(waV(C2P# y=.ư5 ܩ!UpŤLVZc6&% eydܿ=.m6h *fw?Cܴ`Dӯwފ dkULy7;-EGzQ ,cV'; rCE/6:*c#GUVqJQP& 4t{"2|BWmCSǘkvZ RQc#ں_n?L5n,S$E6Bq:,0v&Yh3ރF fFwfBHh}d%'\!.<{ ~\UY4$n3՜gW\d'yɫ#陿 &hd^aKUVs+1 6j_at"ΠOW9hv1gt)sZSwJ)rNq]u۫YF[^GCQ&gYZedff07a85f537710fbcd78b765e8684cd0b791ac7a26b1aa42c8d55e21b9ca6ce6209bf2a039bcd8 ae9967269a3a23e1759c5cbea75e26d60d16ec4a d9fbe40544f94a5b10b33ecd356f79ce24c20481   ZF-UNITY