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  _ _/ t ]% Localization_Ring:threads=4elapsed=30.551cpu=77.540gc=1.004factor=2.547zXZִF! 8q]ŗXf[&!вIփ+LPuD^>xapFP% gM&DS<eQ$o U6ׁb SUJ (E79:z)Si:"K+څ'X&8 źiNaJ0Í6dG+IHl&J>lV_lnZ5 / Localization_Ring  ~% Կbt+>-e8,ά>, 2gJ 3[*8_m1-X,)`Vw&C74/$y"4<=e 5OS@$(s|Ҏn[4~)jB;D͓V٭XQ?E8x[pZe_ , *b-SJ&9N|R`2@DVDb֞OGvqSf@kB\m?Y^ 7BTfQ4I[JVFѩhbHj]O9QZhn2C`,RMMEb7yxJxh2H JRmUp-JĨLPłog%dY}2m%<'<1q.h ȗL`Oc(,V<* GK@v*\a Do[!{  $ؾDdOZ]g }!9wN`>66!G'[s3ice,:E_m*2zZcm{Zi>ِ̜ qرgYZ7zXZִF! RH]ŗXiɟ }#xLG_^ }@D$ލ8[ 0c 2?Pw`FAqZ!mVA}#׾i. @]q @ ]=Cwό_bN'Dפj U.QvG9(X ]=m}=^b=]Y/mV _S"SZʘJ(AЩKމ˗qcXU4{[33yey NIJhby< @bq[x/,Q]tQa҈ diqNLgD=Za(7kxA-.)X~mfTDopj;nRPϡtx8;U̖lkwWԺnL$;bvZDd*>H^ooO*: AF5{K2JKl:5;VnD1̷,Ec sxk{}eDU$ u1 SV~wF!pr+H"*cv:/Ԓg1kQqh<1 yE z*pΆ%Tjf]:=exw(0OfƏZ *R CwCaRFWQI 9.рaځpl5U֯'W/hv.+9(kb*ʱ6hV=#%^QSO#"SmR?2i"fϿ7ɤ Fpm5wZ>9k9{=U [NQ'̥B \9^VbR,tT (dWpJ>&e{а'Z+PN"w9(&= T Wa?3>gTV{$.<$F(%ngT݀qt'9  6icZ\'C\QGI` >9W:t4+O'! .;*ajJu=_(&qj)M_,~ꋮGX zז|XEl ;iOKLh  =kBұs4?hMOFp]+?*Ewg I^H