SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  ? ?>I\,L ]/ Compiling-Exceptions-Correctly:threads=4elapsed=3.702cpu=5.704gc=0.204factor=1.547zXZִF! ]ŗXf[&L_o6#O D$j~ݢttZ|,\n[NX]vTо^CQPo^/'МC%=(]p9 0gYZ7zXZִF! ]S]ŗXiɟfOcLb0vY,U/( 7l 3)sw_Q-2&4^~ה~o^0N}YZ7zXZִF! &| ]ŗXi%Bl@N5+1f&\ʣM(; UMKLK0IPgjœA.%D쓲]Y6>cD.@)G|VθlhCM1{U8}ґWjZflj|º]K݆윈037bܹVbiȺT;QK [ցp~>qC1n;Gos3Fıx_fdMaBDБyh:($6r\2]@A~)jg& S8YiŻ*&iz7C{f$Y{MY>0@Y|UKq;DSkrBuS]󵥜NYm|4ݒ[ qBg%f=i!G=ywky,Ӽ1.WnZʬkڸFЍh8-AS쨞 uedr2wI;g7/vK>5:K#X ^\E͉ {t@ƈhj5t$ų$_Z^Z,F#gS JjNWAqO =W'A0œ}a!i2CZ0+ !T(V7f[_^6r;?B۰9K FoL TS7#Yx:8LH,gYZ43656bda71c254c0b3f200fb4af8f13b1aae5f9a3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 !I Compiling-Exceptions-Correctly