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 |/  ]HOLCF-HOL-Library:threads=2elapsed=17.211cpu=30.856gc=1.472factor=1.797zXZִF! =]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,z\T jɈ]VRrrz<,-*3qJpgi[>fB7*DlF~~xFi+!9U*IuR˶eف:NK_Ef8#0#e7oux5v ]A.ae +`g| „r= 1 $_ >>¯@I08$rNg`QA.*HPM{E6DYDcJ,b$vZ©Poܬ[ )^HA`7Ool$:myӂU>9V'w1xa}!nPkRIC5XЗ,R.0x߂iߺpj#uz6pߕ1z86#TٟXBVsC qvFG 'w -5@|V!=S|uisX*zuH+Z G=9}䕂JW>H3Fo| 8M-[c=QlcREXLu8Bf,@xzI`? ĥwm[ق7G=hqIJ<< Lq NW#XnI=O_fo􋗛\:Ӥ^VH1T9R~ VY4%aН^k>  [m,8ډ>$4DH &B5,nhHY$6]5d Ҥ͌ gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 2d0c54c119222ff4b9debfcf8cd34d5dfdf7d751 5115babcf82b51329a1890394e7d219241d1cfc9 5f3249c9a2080df051ec979e03e69f7b6c37b568 6a1b07b082500f00f6c3b1326fbbeedb536bae44 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 a6d881014016ac510413e96c94577bf126ea335f ad3e0430353cf9dd719486ae796d190d5e13f04d b9c5555005d2457d66592f71382507c4831b3f89 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa d8dd2ab2beb525ef3191b37dd9466ea3359bf017edee1fb3ddebd227da2da7b8ca34615acb0f905a / HOLCF-HOL-Library