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 $l ] ZF-UNITY:threads=6elapsed=6.101cpu=32.948gc=1.480factor=5.407zXZִF! 9]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b C3B )ꪢB}~L$ \ߴ'E1})]OuĿ).>-ɛMFfʬ넸 gIrn<|jX0QVv&k,S /  lr?fꛝ5KlsE뿮$JlQKáo{9JTg5.F\UWi BZǥX瓙V: q>لD@tWwSY{gBչLgVfz[QVy@8t{%,M睂C{)-q#"`vQ*'E~_c^Zt%餺HpLN!iJEa]w|`m`Efhﱭuf(NY͘OĘJ$h[ٖ= ;1`.͖8|*6.*ynϐŝ jT S1UC#k^Rp0~YҝQ>xHײ$Զ]v-T$DL-Yfф^ZhwasS s 0cFumxXCk{CH pf]!JzRZ}:TҺȶ/_v.X gFl 0NZ>b&$6w`yXG3=GHWbNb@aMjÃ]I'Wt0ʦVCN y`gYZ7zXZִF! $g>]ŗXi%Be_ Ob |?u&f)=o,m䣥 x>Ot1o[F SMgmW2ճ Ц۴(X؊jIJ8',),ۿDj!fEz\hՐvy;gJŤe}]f )u`JHCR/sBlTqt{% zxlSѾ0*Yh(]ݒ؏,ы$ZaZP%?z(twy/>lb2+A:k4-/ލYOzaWpC5i4ũG5VNvϵ]kA!E'1gޗsHl1`j'C5w H8qzRΖfi""D`,irMăQG HsA1UB.V.@(W6P6zzEG h%s2szj x:\_32Ƥ >,hE\- u6*p Y2wYGtە t,t7A.2; 4jrQ52M爐wOۺόm ģS(۴ _׭}+>¯&+t։}HWٳ@>_4qEN&ZUH"H':p S84~[##\v xv6h.ө-” pTNh>GсlS( 'A^0_\ݝd=VZg=}BznX YuOB~;w}r҈"G^ROQvJ60eH-gYZ7b58de8ebc594ef425388592b978881170f2f0e84ffcfcdc02ef3f1b5abbf97520a085cc79a504db c9dc15777d4b7821d59ff70c3ec9d85e88b6325d a604c755cc3734d33a710102cd7cb5c240e1e397   ZF-UNITY