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  -|$ S/ General-Triangle:threads=2elapsed=0.831cpu=1.184gc=0.000factor=1.427zXZִF! 5u]ŗXf1-/6vRZwF|"Ţ_1T#s/7پYc6j+~zGU>&HĹ CaUX׿A^ gYZ7zXZִF! ]ŗXi%ntF2'!+Q6g\hqWQJ߉83[m=N{̴D"B7i|=  !5ͪ!LgbxRS}/(hpPNo0 yT^Kmxs0`C \F)`T?ߴν+EvDO :CJa-R > ekѱ!0`Wv?OG{BȉM/8Dɧd(ڙ+j=s}{dJ+@ÁP &n1}#̂5,V9Đ.{Nvؚ XS;k9@)ن$A+s3JGz;(H ђ ڨa< ސRo$qCܻ8I/(% .>+Z 8yAgYZ55a71c759a69eb032b714f285197ac6553885a52 8416389ebe9196aea2f2eb427180264ba30c9def bfc423c2d3b5b9af4f1bba4c6b722329a87c5e36 e9dce2cf1dd60b2ef7e1249f2cce4d79420f1fb5735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa - General-Triangle