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 g% % ShortestPath:threads=2elapsed=4.917cpu=7.376gc=0.208factor=1.507zXZִF! j]ŗXf1-/6vR[]u_4(މ׆IdƱ^v3 ƣ39=}gmǭWtۄf$!vфMH˯Y*!+-/r W3{7|ә= ߰̋홺5JgȁnH41f~;Fb!GZ˅~~5.:#{0C 9BV%̱2fj8r-p\̍>WiO!d^!wKn8]ʵG0.!,w|T~` ZZYӇ9=>~ ˸.XܭU0ڻG %9OiJ_'!lZXi?&r=[sNQ°]dšs27Ɖ-Ŀ#wn'Tκ*TDUnuΙ]8D覻#mj`s$N">gzcC)S*=2^;녏ᄍ~VL!PѠ"c%X],~c,@po\񘝪`na:Y :wMi0*9 ՕdO9}[݊ "Ó02O"w(95/cHc~x\]i38Z6mgYZ7zXZִF! ]ŗXi%DQj>ctSF< J % ShortestPathY<1~ bCMۍxG:%6KcBui+>7 v! G bVI`h3\/@8XYY[J_-hJ$gX0RXg蠔"Dt݅ri 4I 9ڟm4`FGYR0{y3 YFU"5gwO["o=pPٮ^cr*1spdu%1h=܈w\b_vY.΍ч*Bՠ6ZU>4Y/}+oXAp`!N1c<_T "/i<}zZv@6Ҟ9VQk8TBV4hoP =7rB Y(.* EhG-2Չ8$Ham=ׯJTCԓ*2ܱ=eD.ZfypN.)|Dܪ$f lꁗάdZT2gfG@)4*$/lY ?QzW#4yKZd9>,bKkK#wr{Š;s}Rü# VK{(Բ^m 3`oCWkg#]*AogYZ0530e01efbfe11f4d22129dd4c983c02e314c01c 5935aa2ad6ef9773f5d9a3140f425bda57dab635 85b4d40688fb795cc1f4cb9290d7593a2f3434f8 c21b841c8eeba16596f5407b3ee896b55ddf4073 dc93f795980026f293cc51bb7cb4dbd08423edb27df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 59e474eba1d810c299d19bd45166741a68bef5d6