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  '-|< ]% Surprise_Paradox:threads=2elapsed=2.181cpu=3.144gc=0.000factor=1.447zXZִF! ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B KU+CYOb:вNhl.qçĪsysP~*HޣˣXʹ?DQb_5t?KaXトKo O=DpagYZ7zXZִF! UG]ŗXiɟ. oۍ9W>a!^{X {ƨkWLY=o{QG=@ ǏcVy^}YZ7zXZִF! 2]ŗXi%92M!A}3K\!; 锟[m|0:u} 6/9DEu i>K?1P,yf8bDgD Vd:="$qs|nfdxN<֓5|)ƺYYFZ^C(wf=Pl}i7X&𘢭b &*p$[ 40L nvY̓-x@[+h!2bȧb^:+ג[e2oTxF^)z{Z`02AhZ~Lpyqn(gS h$?:6z !;(Ǥe^ AZ\7-_Zmp[:Aο OsJ+ ׉xۇRΠHHa"a20LDSH2gml垊6 vHCB,Q9I4,Qްx%9m8nd)e?:XS MXOTM2GbkϱgYZe8a87e775b2ae0f689719bde46a3c0c47bff537302339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975b ba69a647aadfc5baf006e0b797e1d623a48025e1 8f13503fb41218bec033b833c9ed65b9b9d062ae - Surprise_Paradox