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 ss # |Lt ] Integration:threads=2elapsed=11.153cpu=20.960gc=0.864factor=1.887zXZִF!  ]ŗXf1-/6vRZ٥XE_|{@,B ӌyC{ٳӪΡu\!e -*! 8 nnu/ gYZ7zXZִF! F2]ŗXi%;ܵ m  ?A7v@Go|Q*Z7 $([۸T]2LL *<tۈzO{)YkdI$;D>yBL`q`\zqMOm+Bܼzw3sgn`D p!`cS0½ #ԃYhF1p/}H$e;6!EB"r_p`g"xH# cH`k6Kzjmt(U%5d2# Gˤ (|!9pz`b֑K Ihʺǚ+穞aY: ,@寷yPnŖw`y@VTq -" $m=UydܱgťY(_S"@x]Z>=g*/2{,^ oa ըYuf^E&sl 7=7IsPiyvr6xGbK 0BgNi,q8@dzaQ",HG>*m&QE4tԠ$kB-)˟0vj~4q| Qw%02eio\4r*(߂C'Z@z[Ȍ?pILE}ET̡ wM4x{*3P <B|vX DI&(T#5{@pv"~*n1}o(,D4.;iS5p\xrC&ǒzɚf]BA ycD.d+ Y~@ױgYZc0be5aa8ca36dc7839bd1389e1053c06c11880e979d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 # Integration