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 T/ \d4 ]S HOL-Isar_Examples:threads=2elapsed=5.585cpu=10.304gc=0.604factor=1.847zXZִF! +']ŗXf1-q恈Cl68V< }~ ]شGVP: 57b18m/]n9XMIYi:#%`c@vM(v^:~sٚR_!=J ަd%ge_REYgN[yS%ɺn(k>b#-s0u".JvV ˝R lQ&B/_DŽN)e|vj% ˖SUc++VEJ%Y&UqZ $gYZ7zXZִF! l]ŗXiɟ1GBSp26llȄ)sSd#a$^R'dH@2kAė[cՄOȴp3R:rhnKJBkɕ^" ?X߈@vpRLE aS byF^~֣Q 4n!9^ jMF޵< e+@=!ܡlpVm]qn+U5p蕽{y`MD@ÀX9#S1]'ҧQb±wdeO9>Kh <3*P^ [^Mɳ}Q?' vqRnzr4 vqgYZ7zXZִF! %|]ŗXi%9+i3L{=ֽjZQ`{G zk1"⒬AJR]} E7#ڑ[`9.k%쓍'w}S^$|Y2TpעG10F} I΀kHM4w6fcJtN8(}r5 ZƲy)kh`K[ AgH~r]ª<( ~[fQI|Q؋vzӳwπ,'H| uA$}Iڨf u逽ޠL'cwysRk|;hC \]nc~u WA6@QGʤ]{p=[Owp"9nʐ<:"نKH񌨼zkuk9+ ƲN85dTyBJ)Z:CiggU#O_근u0G뗁#kfЍ'ruv/ߘ+e8]#w5ob$EV3O2ڹ &f}t*AZt 56Cmq)&LD?7M -1n~dm+k.&*\I`icRca(