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  & &W5 | ]/ Certification_Monads:threads=2elapsed=5.874cpu=10.692gc=0.688factor=1.827zXZִF! ]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡!ޘw+y.PDǾT^mDIL_JB5vޠ'Fu'GzCP,R%%^{le?52[,o tJyD^,f2ɒ:l ȤL#8 c,tavF&<}2%rHiH1[ET;L .'j[xqQ6̀MriAM bN^ N:ӿ#!v"E"(@ bhbiܑSʡ.A%%\{GZ0Lށ⫥9r6)ح;[gYZ7zXZִF! "]ŗXi%6q;]4`Dr%xEd/J&HϟaQX>}զg Q#$u'xTeiCU]uOCFAZo"L =pW,gP_K+}GJz@ϜaIHb}hۛ T5 U&N6eHNde»9hPu[x`nJͽ&G8!vX3xV_yI_vit1?$ccv'l$Q/n nKr? 5>ȴuJnU .JfܶH=)ʜ5~X)h\$Qa^M'fNsyj[4~R?gτVIX6[N:5lI6S["?SePC'G2R=<篌.Cɬp2+pFyr!Dso(äY U;؉#@kqeqm8 Mnr,J2IO/FZ7~չT[tEs]gYZ67164fcecb7e6ff0dc3f84e22988d852b6e6af4b1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 5 Certification_Monads