SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 X 4D / Menger:threads=2elapsed=10.469cpu=19.336gc=0.652factor=1.857zXZִF! M]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is{U9L   Menger plMďTOK=cu qP$m:"ʑP "\c75P=FqHa0'S۴WkB[0Əӈ uպgOEf]v @p1d Onz[e5 *`XO_bxTE]ϯ"C'~X pKSs:a,9ԼhyDAw]mFh5# 8E`@s Nt\h ^;ZS).B+nY "}HO+)򥀱wۡ +P5u殺i&գB$o))1 sJ$\akTh_IIbw*&*Y. \iZy#[+%E|D<Nƒ`VH~OIpqxWwUkw5X&~srx;%@KPn\<>=;[~H80Sg;-]ژDPD/2؅05V"UXy`C՚7Rx<辸' [ Fk;@A,/z")>ɏf"o'ylb @Q.{>EFn\]Y(P3gyI[g,`i2lF)xBuԪ0z5kA{^}YI,9+ꢟMM>\馆T&W-z~RWJ3?p૝ȔFvz;07 R&`7LDN;Tעt{dMz~FtP.LȁywH-x>Y}2k4bPk0N_k%gۉGu==W!8׭;r8,UI\k̥5\Ot{Fyk9GWS7H"N] (2VBz.g|#ICF&9Պ{[W+sq80өx .4qDO㵐. Y@$4[ϭrU3Z, P»>/6B@&NNiy V~8%TٿheDA欽Bj} U6`-tT6{᥀Ė`6 YWqN5]Nd ĺQ06࿄V-rp~GN`r{2jq6 +18u1#OZ@mukI(=-'V=KnC1s;Â~z?`b(\Y1b <]n&.ZWWP4e֠ 8k螵 ;\d]o̚?zvzl%W,vm R GDת2i*I}_)wz ٤gYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 25f683fa730cdbd88da60162554e0e8519fa81b5 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9d07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988