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 00A# lL Sw Minimal_SSA:threads=2elapsed=8.987cpu=17.204gc=0.392factor=1.917zXZִF! -9]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒R#2ƒbS1L]T{S 4W@;BqV8J5Lz:v7'v]IBD[h:_{&HH!gӠ 0(ʮƔh(~q?qt2FhzzI;pvSս*AX0Gj&u8ĩ! ,yCXPp39v(@tM&Le4lZEgY # Minimal_SSA +uQw]$B}_OQZL3q2&dsW,2xȞ}BTqhР*5` *VDK){?G `IJmCpLB]2bnTcIn-fa=Gnz,N[ 1.S -5My= NBzp00)wR` \1m48\Йޓ:.ĝJ.vjx@Mo%$?NȞ DĊ ӄIzLAVg9aشn]E~q~?B& #a?& dCL= ~Sfy+>CMJ^ekBeo8*z8Ŏg;F ~Dfmb-m A #$B5OI/k]4):k-?*K 9P &gkX <زoY}:7#w V+i]zTmDIZzC$w):F.Q$nwQCm OPsn0pRm Jkp+R%4 p%\DK`FG$qX QD:LY"kK%͙4L<)5G :7 Wzcn2l*[qZ5Mu(*{8O5Ȝ9,%(#aF4<\܄|m1Îe CwV&:*5(H{ϊ!R/MVfa^ykrgYZ71a7fce19a7969a3ae045d5581d29bf46b3a4662 724b25b25f85031217c1ebf4946fa63091f7a44a a1208b8e2fca3865bb7ee8052106beead86e65dc bdc9ce00e49076cf860d0c4a37b3ab7e4f7413747df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 50aae35ad269b6a18f07ac9255be34e4e5c54224 20df2b18a25751402655979232e219e225f28d9d a043da56277a0e7836daa4615cd48cd48e31c05a 3f375793035fab8ccf4e253bbe5929a83ed067de