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 j' $, } HOL-Cardinals:threads=6elapsed=6.511cpu=34.856gc=1.116factor=5.357zXZִF!  ]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v g{XhE&kM^ӽ#E:}n9~^GE:X{QR̙ ![$ W$ |K?~g{~\HC`8w0zѼ·!PЙM?v{csg t!*t \GoNpD vgj`~ Bw$[ƭDR&rluy2cȭLY3ApFN=G+A"0 ђlQ}u*"gQ^wc^VfTZBGTѦ3>:hG sط;aT5#p UsQ~\J'b$\[X+_4֣6r&ׅ53 >se~zTY%trl+C Fa:n|gYZ7zXZִF! M]ŗXi%6ՅM2",[/@ӚGb7-ݔEKbd6;^M|)k v Q  s@ME&쥫nݳ\y]YG*|ahppgxN<3O2*|8I6'Ѝ~Y,oizQ m%"66!M8]Xn1F KY՘axUP/RV')wFAÅB_.C~A*t 0;_N,TEWOsmMOk"e;T$@rf*xJ3է1UL:{;#Pwv \6WV*TvvY%+FADUzDbŒߏbd>%A״e@t`Ϋa;wAxs Z+ (F W)=FGZE!طTV(8inrŗPGxm'8LѸKs0"*Z~!"p mWZazjw/*j)44(H`)MYdO^kFªu>ُbx# 4X2;r;f/p\V }Z[%s+߳0J>n=vB