SQLite format 3@ .  YYQ77Atableisabelle_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, "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   p1D| m% Transitive-Closure:threads=2elapsed=3.789cpu=7.368gc=0.352factor=1.947zXZִF! &\]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf>l&5ی6϶wf5v4T2hrZ$R'v;y_|hѸ_Dza| =^x2*$>tR>X:JJy"@0loI IRJř0Cz?0`ƅWpq7Yνn* PdJн Rl R^+:,Une{݈))CAVTgߤ~&䃭s>r׎FBZnL pBޭsi7L7CW #8[l^ VB[葘NW2_ꂝtX 8Ɵkf%m,|BHl}ZYޔC 'ڢon6qT9D>b#RWv/ŏNaqۑ/ uSzV ΰ .JԍJ}:P8As4EkdI92Ce; ԟNE& A#%7QG&@yB srI2Ku@J%q|"y1:-V=c2O¥]Ջf+{Q   qO-0~y%rMYRM$gYZ7zXZִF! w]ŗXi%s{㐨eWK!ilT.ӷhurKHUC\Ҭ ?}ea 7snm܁>Ծϣ\8L30.%F@m@p/hG(0Ybw;yF$2Ʈ=oTVaGqfZfD?u!p,}x_FSֶaR${6?hr;J)i˹gX!7 U{f@C&׍ϒ'O8:&I S!-fOu]>7Em[) %Ԝ:C"W &(8n<@K~g՟u>nqdģ7o.Uii(ƻYgOZ^9}"M.s>S ?mp,v6! 3ܾAS:'K{(U3zʝב!~yɖatU2SwbK^0_=ʢKQtԦ %41WAH7cnWyBm5$6 Mu_ZR]s?cs_= }|OZ p/qTfG,V]#+ň?a7gYZ57d832db0aea24c58f93e26834b9d0b95d5f2f1a 609e7c203fab9c1b15b154da117a3e7fd2df4fda 6f9b654c00c3b3831c2295363b420f3434de18ac 8357add3030daba39d07599599331240c239884e a73e6f31a63992a1aaabae1d886da29a4443a823 aff6d335e087f0bbcae65cf03ab5cbefe2c83393 e11a13098d926e9f1c520c7b8af2fac038a923ef efd67b472c3e3268099a451e297bcdef800c613a f54397db183df16967fdc6332256a0179adde7799711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 ba51bbfe41450a43047c4d4781ac008b0945de65 44bcf9a2a8b1031cd761beb66dde5c51a0cef0aa 9791928886a6efcf53750865f6cc4ea669fc5217 1 Transitive-Closure