SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 pp1 DL ES]HOL-SPARK-Examples:threads=2elapsed=19.371cpu=32.788gc=0.768factor=1.697zXZִF! ]ŗXf1-q恈׍ V$*(7e91z=%D'\YWg8h^ǠÊT߀, !I'0G4o#*a2>~͠|Y#fsɲ/KYmlzŞe^6uc=ҖJnYjY V,LP&8;3Tvscn.&M64+Zf Wb\ǻeIU_ڛ')1[^#.a?S0):/."zXVC8z>wV5sJRL`dˣǟSo=#Q)aBG#W]hjp_ YĤj9W22ƦNS (G[!k-Ytщ9}N 9ȼq[el pt4VS.&u%l|YϔBl F)Ynڷ=&@2(@<&,6rh߰#qb {~1RZy`/Q]3LW~JUF|U ]`ttd.l\ߐI&@t<&I *]UϦ6 Ҷ*ѝe?ڍzDM/*(TvXۊlz,X ,0?ݹ##%Zb-iLCHxc)uOl1*Իc1֟k",( A0d-6b]҄;)O|3Ħ=&8 gYZ7zXZִF! []ŗXi%}N倪LD>EgR.{E񔇻00H3j W`"Q*LSJ"Q6P-z,/PUV