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  + $$ ]]Sqrt_Babylonian:threads=4elapsed=16.324cpu=41.364gc=1.176factor=2.537zXZִF! G]ŗXf[&RA=# RA8 ~m>.iwzSpnf[e*z͕L~eݬ=)o>Ov%\臬{ L;0S?n9ٓJEۓ/oP8lxW}Cue1 nO\*8$zЃ,cvD[odr8)23 *?| QA S(r H8}u`uTXІgVco Z})bZ=g&ivaQ o%0Yԅup.BWT6O&!gYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(XTӳNy:NE qjt0 qώ N`ۗA l9G;_AY1ۏ-8ӭKDhHxq̽PzibgYZ7zXZִF! rJ]ŗXi%BhY $v|$ GZC"<4|u࿲y'?3h͡`BgTRN%49ϓAsK \C l+١Q,DHPi/X] L ?ӑf9+ ԊnKlWL ݚEX@ ON9^!mpZHSv#Ž5ȓB@dWŜŶ1W(eV,哽*D -G8e.p'➾M򈆥k^*i(f$gc1B_NMxŎ۫C:ޱiQ=jG' Y/ GlЏS EHzy,e^K8L(l&iZg:M3uhмԨ@vwΊ4w41WD'и4!Cp"F mky/s'YDMRL20X怎Co.V]qn5#1SJ7 <Sd \㰂к}aN?*4+B(5G/s!qH#VO0! +s}](IAw7,AI!M[C݅wh煉ǘCTJAOF8Ya<,f/j.CR31U n|*.أ= cR!E3s8MKMK^c]oyXh1/_U39:DžeO#YӋ.~rGL`|0㕇 Q^EĴ+ex2B#h Dor EmU}=#A|I.!Zb$+D PY"@ X~s-p0pU 'n ھKcRL"˖(@.d)0"kn@(21"<ʉ{6 oܒ|5غ};Ad'bh@[2ë0oهjDfY"qDvSV|ӁfVC8Z\Dd%tgHObsEE/0@t,O7M9&K)poLĞi_(Z~&\šP9S%ڞ-҅GQo~4YֈX@h1(Ú- mƚs9SN[ ~+϶qC D?#H(ʬ ^v1,!u?a| }v4]si7zh9^kr5rp.!H2WƷ6nk @zT ^+Άҵa?mX>ԲutbT[v6@7"ݣO %pJ0+Ozsm=){TsjL6;+kT\R!/o_;> [mo)yG 9}_0dr{#>#R|ou4&r3tQK, #_֌-zeCAN?V;WP>gwQABs6¶BW&[/EؽjڰH—9+_"=*894x[ޔPW!HˇHgYZcbc4eaf782026071ff652cbaa17b42f4c2d322753853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b 11878563d388ddaf2eac888c274d12d72474ce9a92abe5f8149161fb6642bb4a8d105c04fa99c426 + Sqrt_Babylonian