SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  ~Id,D ]/ Compiling-Exceptions-Correctly:threads=2elapsed=3.626cpu=5.336gc=0.188factor=1.477zXZִF! #]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|Ԓl4.Y96UTCo|H*q9 +){`n)&~ %"Wei[B[%1Pc"(sLGxI7|f$gYZ7zXZִF! ]S]ŗXiɟfOcLb0vY,U/( 7l 6ԺުYp$1-⫤|?Z!o^0N}YZ7zXZִF! []ŗXi%W~H-6kTԇckLW 1,}%nn"ŹcmbwA[q7T6qomkuJã;ׂǂSra}B[dqrO'yWrOX G a "Hg>(p;(td.W%ʵwP3s{QNLqR9:$vU;!b7I'꘠=39Hy]#"la`ߓ'gߩU03 | RRi5S.5Shrf+\=xShv5'CH Lb">eu A3D%v'qwQܤ|[9"빞U4dE1KuII]IOh0G8k<ڈk{c5>/l((;MҌpf y9dz&p6q%H@;CCF|l9Cy?}$ސp:(.#LkFDPuZAKy2}r} H~=Fi~"AgYZe858dd63213f809b22cd01d2005a8e0ecf74fba6d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e !I Compiling-Exceptions-Correctly