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 %%X |\ ] Octonions:threads=4elapsed=17.292cpu=58.412gc=1.320factor=3.387zXZִF! ]ŗXf[&/=G`u&+NH[qUD&/]%[pX9^8m "εq[2kpl*Xl, A%|*@0;x/z`uJ{z[Sh胖c;.UU/˼~k,OyytM?1mN##?p-(S pzԜf2,#>O2jC4cWlM~RZлFCۑ;b dB AR/`"LؼD E_3 ArMcuτ/-RUvH@{BKxx;gO{CJ}ciDتcHLmB\/MS m8iu\A10k4i2i*.,LXX#>h"wF SU^ g_E;B`h|QVw@'"KTvԲa "݀!^yTOFl_䂿IK ⪛ל ];J/%*% q'7-mzצ3.7Ӣvҏ 'gwp8 i$PNfSIS7,\gYZ7zXZִF! g]ŗXiɟ;LLyLDkCh:\OW5G|(Z@E 5lƤ-Q9+B ; ! &B@ᦴ@Di"!@g8'gYZ7zXZִF! u1]ŗXi%ES3O[ݜJCNulpc+=B"lx,N20$Tۿquې[ 廅βإgKu)+66Ӗ[ʞURDޑb HpTj!{'pĆ(%g:ze+S&-)QuJ1mC׻#vʲ4C{J;(1&cL{X%891e^l+~4 37t=yxho~#-2r>/7 CQ'zBrr(iN' < I vV%{S(?dowo$aѥҍ@,@ ޽)fF04LJ,@w/BtZu3i  c㹛%“ d{3ڌ@6Hpsm0:ʆJPߠr-?2ôמތb6vN]aS/Rb*Jmt`48E>3'W6 %D}VV L%T Ȧ=1yJ}F+g]fx`5Q)Ж=y Ǜ`F _/~TD/71Ŭ۽ކ783yTe((sa%jg]ѹ!}#gT n4`a-I:ixXwb-L3C>CYç|[Ǚoy7%F#Xuɻ*8{U3*fuohKRCrDRɍ`;*P|lwtNH9cSTc}P=vvL)Ka~(=nG3q|aNsG]|7@JGV N4`2zE *ZB=U }4(X.@WQlzJ/DaEXnh =":iU.mX 6y=zBIqGM )ƌG臬/7uWe0ſ"(VK.9Z@+qM) D_XDeZN rJFCs]Ait6Mg~}XWckf}L~