SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info -L\ S Surprise_Paradox:threads=2elapsed=2.161cpu=3.048gc=0.000factor=1.417zXZִF! ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B _4apY(Hl6d\2jaUfMboAw&D!ELG - Surprise_Paradoxhʖ;1/Ʈ$Dmj+QC/{X O\:[Xh1_U,>r`oBWװҩUfżZG*wgM*> @8KWsR=Zgҟ0qݮ2jrAgYZ7zXZִF! M]ŗXi% -ڗE׃ -*q/|QJh9906vnvyXijVN[)g>tϞ)J} I:ԖI' ,70=\rE2wJKQ AdPzadUxl2+%Q[" `{ut/bGt/EM=FB[`g7TWy2 R,Xy>0Y#.&G(>?qjsm2ޱW ^32֣l ipmFņ$JvS@6njW]}ȫW&;6$ \_4~rj`ôouY)gh0#!C'}&ZwcjTT3~9"g"1_{<̐nC@#f'# z\M $ǰ{̱gYZ1123444064778f19f416b39d92316b7194b2c412 3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b86970d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 f42784d15ec8910033cd1726796726c3da8768b5