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 ++R $Ld ] ZF-UNITY:threads=6elapsed=6.095cpu=32.212gc=1.372factor=5.297zXZִF! -]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b y9C{|cEwswF|Xyba).zPA2nfe"XOs)}^B.{δ09~D?aAQ-+o `YTBA/;Jg?#;8PLhe ޼㸵> Mr/[a_Lw_$sa1,G5l~*\lf)0~H|eLO觙HKBʖ{)L4sk^FOmO8e0(?VXDPG3vfJ6KгWi6_G59ȗx,߱#VF(4P7MȧMl!?D$J=iz>zNȈl)e np[mDD%^$.Sr#9v& Qx ^ekYu+NoB凷U|!;8e KA[8$0˞;Np\''$k`6rӯ;aP‘Ybg_3gsRK^N],%gYZ7zXZִF! h]]ŗXiɟ9 i:4V;}A<<ګMP7h.ִ3I"% bzXwЙHg2ߠ cCuȮ9<㺃6;4TtNQɰWfoYsɨmk'7ϧmа_[w~,dY'EJ[orP6do,Fv6+]wnQaI>@t9}J )t̂ UWY(<5ΧXŨ4ܲV!ޞyv]+z zJ OHupG1V%Jh͸Qnփ6M7 D-gYZ7zXZִF! $q]ŗXi%JrP4듥Kx] *?Z&0?ܵ̄Qo(O`/rZU&ժlX_E$չ7&qY߱BFԫQ͗$5i䔀WK}'lVzNȴzxt% $x&ftQ&Xjs0یӆ *@Y,uCw`RO/@̛HlORK(>>V::VgC㰞J? :!^ 88Y (F^['eY`̮!Bޮ@ʤh*c^DiԪ yٶ1~vg3lX%gb"V}bB5AgXu`dq=dqX]a7Q02QBx.9GUR];4|7-0__Ǘ f+Y?"~+VKE <.?PbSy-;!ByVRkOPP1B"үN]ZNBHc3.'j\YCy~8~RЇ_G řWC>+/Gy\_ K]+ϱlV?\V-!|I'+W) k=/XoY?d?jVYʷ^%l7v[]Nynr9&@d“"i>ͦ20bF#e^ZOAx:"" n/5Q9cr4†#8,O*161!~.R ɐĚ{Io 6e]EBQ$%fUv }ȳ.QF.N27-K%/C.DrjE$"H SgYZ3dde86ec568b0f5472b7d34a876e710a093977d8fa217b500e43b49079262f25873831dd0a8ef4ee d194e71e792e0a718b059e3ffa2c0b6634096f92 f038cce3fde610790ba584d5f5777837dac76783   ZF-UNITY