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  E E8I\l S/ Compiling-Exceptions-Correctly:threads=2elapsed=3.734cpu=5.668gc=0.204factor=1.527zXZִF! #]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|Ԓl4.Y96UTAM~ }w6SY<57a%rcoͯ~1bs|q46Մ]7 9@{iK/SȲgYZ7zXZִF! /]ŗXi%6Ÿaf-o+T]vݮ_) nT^f M i`SuknlAخ9qP,.эDO"7X=F=jUg%k-g,́C*ri JvMCl(cS;1 ]ZTFppsW@yYEeaP30l#mHS>f?DCv"?wkpIߴR|*+&wwjZF]&"Cֶ^,rY W 2Yq9]|J:h9RB"=U!b`yFv MzSUj5}#8=@BQ)b~L re'Z@k^.Ŗ - >. y e]d%T_t<^ML6-U鴅KI*]TVUL2ZCNf!O7eKkĆ3c*gYZ467997a9af48915d9ab50d94f601c8ead565deb3 892e8674c441f34e9e5ee16d6fabebe68fb2aa81 b83fb0bb410807c5afb5f5c6cbb20d7d30211ca7 bb087981173cb1966c3e6d3309cfafeac61c0149e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 !I Compiling-Exceptions-Correctly