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 II4) l\ ]/ HOL-Statespace:threads=2elapsed=15.833cpu=18.280gc=0.692factor=1.157zXZִF! ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]B Ȧ|{ !VJV[rel+P %QG>t=%#剢Ʒvѫ|}5oes4mqtL%?k}xuĝW6jɳN+POB;]>Mrf AСPͭdC'qMR@@t˪LJ_;W<1V >UgYZ7zXZִF! ]ŗXiɟ1.F+hzl-M'-MzǤҬETNs]LHJAuT٠=F;Wo9\dQS3zT.Ss_i}1s'%G&,WFuv]'9QѱgYZ7zXZִF! V]ŗXi%;ŰA/:W~bayɣ?g,sۨMι!nYSgg tzvlfɠ\#LPp_xv@y7q dR|R簚a1bѠ;iፆbf]yi# #db-r$@p[p^Ma:E}ק(x4+ZlJčԵ#z+N,OɴE?WPゞZ4ExQb=VE$oۂ? ۖFi`2FOue/Bi#$k؜v[eM$F:@g?-oS~2B!YȻ{<2¡˙p./M8<] VgmCӪ0L~-3ьP!In_m#|Ko2E!J{^>յŬWkdO=ڤ;@xeuWpU2 ^ʴu_EXq:  U[r<8GWzBj6VٗXAvi|ؑgOLS`Kӄ |Yu'xt)Q匘1#x3L±;`^Xҟ\OI$P+I@4.BcO:h)x0j`q;(a$k~]y*߮.yX˘ 9M ,/c2 }ٮ`0 Aɓ7G3%$(/Jq;@9* &Ch:D/C+>qP0e;8ԈBPؕ^`,QIxh>{Ǵ}UIW,$MZ6YU-Uô3&ADڴ`.>1D|cYix-v2w{oMi޹W1!6tu\agkqk%fjztS3r̔x#