SQLite format 3@ . BBh77otableisabelle_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 &&W l4D ]/]HOLCF:threads=6elapsed=12.481cpu=35.756gc=1.984factor=2.867zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0T#g)_jH!ra(Z60ғ3jA` lsqO \(kG:뼳QT3op2S3ݿC3_?8Eق0K:}5~}R|U:0!:"h{Q%AQs=ONV8?D%-֜Alw7=Ч!avMpvqȰLD8U?  M \@'jߟ?NZ.kq"cZKC*RaFTW({?+C.(js3&!gYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]ʂu#6EBmS9 @X0WrޗgF1J!.+j1ȗг .s$wcӂ2yލn4cpdY4Ay$MR1ٕtB8]Id bK⭧6w5eФ +{GU?p^FsႠ`uI[`vmz_5Fs!c/V r"><!s /t(ߺ֏S܁;Og6 %_Lk2~o1)m@O Lor~kn}+;yI~kȿ땉HICm$)z@)9aw6ti"IjpqpRyi &v7qsr;|=`\`4v5mu$܁pbsDu۲%:=ǬW_ 5fa0*#mgM\ 5 Pm c9lфj;IpI<6@\% ?ZTM3%>! ߃tטC?c"PEMN>켰rT[yꪩSjZ疨coVM0Ixhq:~lgԪ{9HŤ]Fp+&UЂ/!ۗ ӻplLm #8 tr_jrԑp7X+v3%JUqڈmsQyLHBg>fKeރ鲝