SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info , ] Triangle:threads=2elapsed=4.384cpu=5.908gc=0.112factor=1.357zXZ ִF ! ] ŗXf1-/6vR[ltb7 o- 5vOYe1tf) h)5 rvSn ,54o70a[*S2up&!olVTIjUxH [( hdg YZ7zXZ ִF ! M] ŗXiɟlٞYZ?@Lx!ڿ|h -*PTH&;l)?ݰ4hH s}Ķp i EDg YZ7zXZ ִF ! T] ŗXi%9#qz+^VH dqG4̨hղIWkCTP (Ѽ=OXX;uM L+he.rR=yLi;C=OdIF]U֗w$.KZeUmܘ/ X&:p ̿>q`܉uytx /[܈IJSSWA8@_= 8B|6ޑ 2F0L*r#I:5:hefp;aCu}c ؕ N"I'͚bk6~ -dBLg/EMjE:-u@g֧2C5U N^]kh{;Iw("Y#
0۰}]tva$H" w 5#?Y`+9MmFyD\lQF֗ x.zG,fӔCsEi]VWnr< \Z2ԃ2yG70= i>" <