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  lT ] ZF-UNITY:threads=6elapsed=5.999cpu=31.756gc=1.532factor=5.297zXZִF! T]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb74afgQZg~ L׽f̎oÒML83D/t%.&ZEJq\YS.}0$l9̀h"g& r`9ž%Y ?ijۈN ؚxS5g|%R4I^.ë``Gli\`ZY(0]\4:DzRoj]{֣tݯtӵGZ<*3QMGUaPs_놣7*㇉"#_JNThW $1JotBʸ,bx ȏ-: {߈GF5X+{z8;^$ŇWܻV9|狄Q 'YR[D'P+<^Vo %}P\Za7Fb[ VE=UK!<{;OSR\&ҟ]Jw ˗ͷ`25MJ_#yY-MZ}չڰ}!#iÆ_wV>)}Su a<bˈʨucUN5 rbVgYZ7zXZִF! }d]ŗXi%> z).~>r\d F:ʿSϿ an$U jߓ.t7AoP"O?&bw- !WU~Cb؂$eC=0=$9`wA^|5k=<(52(HZ/|QJ*ix|[rRD kUgZl !4WŸ>{05fj6ʪȰ7.0g)>  }VwƍyiLTt<&V>ssqr.8)` ;xmȿUJ2ĆdX{F@gœK Vw? ą+J+fHdT_ hļPuπsRqШ80Ibe q2+) I( íIT@C WYKHeH ٨ʓ)]'#()IyB;: Mga+Qf_K=i5,>'gYZ15044ae37a7a13fec8b05a9785f2fee441db7535266222d5d4fd615b66222b5c76e21b7ffca335d8 320ed67a0c9c46256532bf36469f2f566d8f4fe0 2becddcffe0761bb965f38ff30480de88299405d   ZF-UNITY