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 ''V ,T\ ] ZF-UNITY:threads=6elapsed=5.980cpu=31.208gc=1.316factor=5.227zXZִF!  ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b ƞ8qUI(Ƌ)̘gFꖘޣ L֘dY߽MѺ }?yd|:su^}:W#'\![N8[J+>„!\,q"1Zg_03.bȕi7ur$~^yAုܱ%g-[sꢥh@L ik hVŘ+Ήm$XUkvq`Yl{Dca>9raW@eڭJMR:?rP2nF>^n_*n%15wF+ik1fZL1b@w]!4K^.g*FGD˒0htO7QP(4>5S^%]/(VT@S?Cջ!Wp7T[+|9jw0hb`=%\mPxG>4Pml4@xǫJ?V/湴]<awkľNP:U V(f$".J,HQma.q$arP .JJU}0^}_ܛDܨFO (X` gږ0 C,~gYZ7zXZִF! ha]ŗXiɟ9 i:4V;}A<<ګMP7#\zvª {/])CGBxَ̒z(Bv?4j|mJ6B2C3]~ǵHuHObr nǁᩢV Nq)#_\)A}ӾZ׹!.`%jHO} 7K+x m>+Y0R^Gzwk襲l7olKpJb8pʽC#?"C5~ud 0SKI)edڵC#zN^ɳ屓Cm춸eU3/Z7j9;ɑ/~Wsw;B%C<,1H˫Y4D8$!K+]M &זچh:s ?䶡T€?u/ȕtӓtuXi@sihOd˽TyUoް~Iߢtf6-d=[EFz 2}sTXޟpqb5]!w}۠Z{9(T٭Vz9%i|DWXx^19"60[XH) H&dUάnZCoɱ3쫑qTmӹ%FpYfLT.*0.,R=p9iVyyHz"/c "8x#J+-um'čI5qpF`ne5dJ!1T@#2|\K "&> ?=pԍ9`6(j}|tf[ASWk9g|:[dۖ+o @#lN~_py..vs>7 ,& CSMHI҇\S7 i9rxծKbqy\]`>(;;0|0p3#-Kl2mH݌kgYZeaa75b7f3c80fe2875f4aaab572f2812dbdc3b1ae8eb12ec958edf5a5d2cbf15395a8cea53977f53 06cce964d92c47e039c69cb54016ec94491ce7e0 7054c93c7ad65b98631b38f10e390bf3a67c1469   ZF-UNITY