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  l D< ]/]ZF-Induct:threads=6elapsed=2.852cpu=10.380gc=0.388factor=3.647zXZִF! ^]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NQU3|a[,R&+Jߪ꒐rޜ`J6h<(|@%آ58uբ}+;?8~ Z6y̮e 6i>P"hnH;I~I3OlxiU>GĘdA O,gYZ7zXZִF! c]ŗXi%6NM.{4Y^jaǣf`N] a͏YS#N5iubh;8&s)ixlB>D;TԴxUIZ-zUfgZ gq8 `|-uK-h1KGtKH 0aϋ@u{k X;5kxd#C%8kW3ǁPXbNټA#)_C%ilZ:P  QCG0,^ >ZϊfQ$--ݯu1 )6X*7X~#|}SJ{xi'4%U1.7.?%wQRj9 |=|PfˊK(̽ۍimGdR}KP慮H%cͼ+*d+ZRWߵԁHz4 M<#Q