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 v+ \\ ]]Landau_Analysis:threads=2elapsed=14.418cpu=24.920gc=1.268factor=1.737zXZִF! (]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;Z%M"E֦gm"CITH[O:̃^u~'ᶀ .c#.eO_c1rRP"e^HxkЬ/?{GyOMPȈ}M?7&<ʣ2;UR_γNFDV#M/VTF~߽ q+E_֣7WqqDnc8Cw\ooTtSYS3àt2kPp?Ϊ}p-gA$}m{!4qz)Ao\VNƄ&bt^y> ہwYG&;0bz퀓*MV{g[ac<~ 2#9%^ degN0uIF ᲦLBi+PDnB{u8l{' ǣK.gR)!fJeàG1s-HT{&Fѯ;!^nُܢ Pƒ>phH^&av_X HXyepT3yo`jks]KU7KK/,+I7'8w ckn5ɇ}[^;_6AĨ $ #Q rgX|Z=,5 yde[NW+ ?(גoEvՕ@;i "5%ǝ+b{Gb4bJlE|uW`uu:96_m\!A5@9"&wV,gN}V5$ݫ]>tΏW%Q8@E