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 1 m% Transitive-Closure:threads=2elapsed=4.598cpu=7.280gc=0.304factor=1.587zXZִF! xA]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf@@$g%|Y7MYFlt׿N)puo*=LM4g)u^ՄU/WVj~YEՓ혡Ϧbf#6Pr?%~0"yuȗ\OrBT 40YӖ: mDM0K zY}]O2{(#UW"݉ Pa;pK>{uAW[e_Vn |G6JD9϶SwI=)̨搱ƨqe)̪oe!"DlK2bs02cBk>:<| GO\c,QY! 3̮)lΡѤ]8bxX1MY\H^hl ' 6V$Ey8vg[\fhdd}D/Vbͯ Ef$`NV-`[cLn:3WuWr@"-1&:M)4wr6YS/t }꧟'uާO#Gh‘="l"v uxKJاP?+WT4 u4潂5i8ϞfP!Lphfg3ܳ>UNc &ё"*tD`YkR%ܐRǸw\PIU. 0cX0;. \T%ySySXp'Osx0%>H*]^EkgYZ4c36132a2f64e943f2c1df1fda5a43e0240a47ea 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 609e7c203fab9c1b15b154da117a3e7fd2df4fda 6f9b654c00c3b3831c2295363b420f3434de18ac 8357add3030daba39d07599599331240c239884e a73e6f31a63992a1aaabae1d886da29a4443a823 e11a13098d926e9f1c520c7b8af2fac038a923ef efd67b472c3e3268099a451e297bcdef800c613a f54397db183df16967fdc6332256a0179adde7790ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 0277895c3651fed994efc86b055a3b7e184a45ce fb3a31a8ae97230a6f830adc2d8bfb21594966ca ee31945af302b6c76ef39e0b98cb5dbf5004719c 1 Transitive-Closure