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 D) $ %/ ClockSynchInst:threads=2elapsed=3.756cpu=7.436gc=0.108factor=1.987zXZִF ) ClockSynchInst! 5]ŗXf1-/6vRZysB N^WG!mQ^|k ;GZ<&Z0QΠ ~anBzVVT&E8$Qٓ&qΒJUרG.ZW60@4$T> ¬(m#oUSX+R ?W 'ܴgGQ+ݭD"-4Z* phr-,$ܖbYZ{^8-*{Y)K& -u`|_;=z`9˂$O8qר1jL;ҟ'qm+GEk|s6\X9 =c1%ky[w61az`P*|4|$)`_|:3gyf;@ q _~`q2 @[Ҹn\␍@D9,jY-*fxE_ɊlB,w|ZUe Xix/yVG2o%Aye~ jhJ{ȴX 5//LFT}s)s$pSB:~JDr