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 M ,4< ]/ LambdaMu:threads=4elapsed=7.379cpu=15.212gc=0.516factor=2.067zXZִF! O]ŗXf[& n@j#>i#V2vG;thc^D9 Q_$މS Ii,\E缦vŊhFPA((9[fr/G^u:#,9 .œS `~{ܷG0ߨųh14uClxyN3Py^ĞQxvJ'_ω8$EYu=і_oF% Ŵ高UˮguFB'BQ7n߰I󧄝)sȮZdu@^'u p! `8Y'ЋDqgYLZ^%U 1¹gYZ7zXZִF! ]ŗXiɟ؀6t72 ;[8}$Tra  PX %ѻNس+VtwBQ!s '9jpvD*[osR+H)~Ds>*aADܐ:SDH.";d)xHo}!!x_ʒR՘Jc$-P< (B ֒U;~\n  gYZ7zXZִF! <]ŗXi%GW)\_0vi|)y%A kaFDl נ!>S_ǎjm]{존ǜ,e<Ӄ~f-Ae렛g.UzbRi4fn4)@uYf|V E4aN9O:[d˳J*;LX'oF4&`"^ xd368w)gP24H@J>Zu m <̽-Y-mX<5g,!"rX˛4~c^{q}S󃻐UHlKa.2VK" Dc|nr U78?^RL.+ֱkH*,Ը ڕIY9Ѧi*0 NuQQfWf%H}I3[Ed71‘s</e6>ʁn {}P}쪖RcSE|]e/ n:@bUG@A'qE~lۜ_BОe{j6jffC4LڧY@zʂc;imKIo%%i]W?4G¿5 w{u^hVTTf <(-xԂh ÒsD rT8l RhXq.Bv(=.=f6 G:k*yXM<% "O1w!5(/Iy$ o6>I1Xm=/mqVeD"CO{K 2'jFBA+K_WҨD~>_Mm޶+[FR *N 3o#~GMxծwNWC #Gw`6`|C^E݋k2 h_^StTsZ~Rؙs KaYIeZ]%LSlA9MjP tJl%ճZ,Fյ)G\X+Z]0c-}ϡr{/A2֯,F-XTqJ=ҙsJ.;S@([DYb&6Յڹv0L47C2W3z߆CnL% y9IgYZc05fe202540fea6b0e41d7707a6da485073b0b494e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682   LambdaMu