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 > |Ld ] ZF-UNITY:threads=4elapsed=8.734cpu=31.000gc=1.296factor=3.557zXZִF! x]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb9VI`7&d p!a`=̻)KJ ^ *u.5ѽ(0{p:Xs:iv֢<'Vg=D*{55D{#]DgYZ7zXZִF! h]]ŗXiɟ9 i:4V;}A<<ګMP780i ޭ(QWu̓wI,.pC!NZG*`\B;n heI$n}܎z91:FFd@A׹Y /D^@dKy@%쌑V*;TCK;_-3lMX⊢t/,(tRX?{hn]̡x> $ JF. L="o2}>mMn/ae,#OSZh\?[NY ZW)pNi[ds8|C'`պک/(KZ_'L D-gYZ7zXZִF! 2Y]ŗXi%G8ӿk!^NWWͬʑ6H;ϊuRMToB<̤Ĩw a/vFUDylfk ,9JT"&.*rzkNHk=6qoHt ZNվ}4Kp k.CBR8=P8졮bN#"0S1 V ˉbCn~H,r'b/d Nk\?؃#1Ĵ 4 sXrٮ!tk.<^`y E{(z"j)i~V?T͑p{rݒ(cG4aAhվ[Щ+-NyO/8-ӫ_',8j ʩB~9nޕJ<\Cg񲌅E~Y{'R{J"x"og̨ Lʖ$jsx Er=YttBRvT7&ňf-.?<߭8ŚGY:ͨ!YzaPaEׇn#kY2ӅO`]vLG#,rEdJAEZxE2.v'r35_VG|p< ] ѸՆsI`=ʡD쀱^S]ɛA;nf@'!<u@S1ѥYq1v30b @zDp/G:F0\jQk# hў6 z{_u|b#8 rk;9R*0s:e'J*UHzj{E 6r ӅCA/ꍀDd.aU_ @hZb!+8R1ո}&DO'$E'/iZW##A=EET! qZ"v"=LHpL)ZcAsE(\xyC\χמEyhMfpލ+93:?mEwm`GDMlh[02=gPfG(.om@A6A}9 |hRwEs~-=;m7Q_аER(&rrv_/LƝdOz{?\"J 0G@ 8Q\O8 dqgYZdf1bff860fa7bd8f2310f878c67dad02071256d11795f3a7abed9fc1d9546e3552e224994a90ba84 4824e16fdf42812f1045f6b45422d3388a52fd0b d353259df20a81259a7e2cbbc338de2f704e79c2   ZF-UNITY