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  + +R $<$ ]S IOA-NTP:threads=2elapsed=6.634cpu=12.600gc=0.568factor=1.907zXZִF! L]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#Tpg?\0ė#Dp%3o5b6´~knw !!͘H XqqXmu⑐c |}<!Y@>#UF`5\b"C܊@Jjt易Q+GI<7ֻ #d`P`V[R#bB`U$cxX8?FuhI9ʏ0T\jz>Ek,?g,!AgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz(*R}IJ{K@dWffC~f,>5UD E//lބl~`e=#)(^rUcUM];#?md#Z-0g= $5c+ @XՈuwpׯ㋎xG L7/'f阎>(pgYZ7zXZִF! ]ŗXi%;Z'emE5נa{?Hy#x6ggǂ)Æ"55(xF#Hjtaj8/bYk4/pF! whrV"(UI9ʏylKa9~l9N~y"K OZ:4pǖ*6s@oz!ѝ=ȧdđfuۭ|A8w$Lc%7RT׏2pzc-ƃ[Rl̚W/:-UVT+fp@[V3r,;~`W;*"d&Yޤ!pg\]J[;NCM\ * o,= CSAbq^ҩ'EKӚآK:9_bsaa<9y_D><:B6Barm_ZQZTS&5g¸z< La]/~8(),O\@<