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 0L| S]Lehmer:threads=2elapsed=1.922cpu=3.496gc=0.000factor=1.827zXZִF! `]ŗXf1-/6vRZ=\\ ańǜZXC5_T/ID&? 1 K,&b0bNT;S oQC NZL ݒ70_n'Ld`Hޖ2\"ch fBӟ$]xNwx   LehmerO,jw\IIzYۤȦn9y_L ל8%q33$T24%Rml oN䁲44t@sB]ɩI9CқItgYZ7zXZִF! H]ŗXi% -\qz-7 2ЯY3), `g刎h9_FM;Z۾Xϛ35[ ѓHg[/)e%eq\hR.LU]ǰ]]z1%Xȷc^é)pa4Z=O18h =t,. ])0}tFm<Khťnjh)c3r'fxbU/ klPʀA .qH"lUk8Wpa.Ϋ$eˎۣX,Vn}T$Xuc/5u'> Y;\̹'⋂+Jg'_ua.܆R, ^2Bǜw DˆXMTDf~zR05 ><=ό$KԱgYZ165b386e0ff702190238130537c38fd9c6781de1 49d4116c4e07a3b7da59d0c605a55414d5cef04c 7b14a9251316b46b1831484eb5a9447b70502b2e 9a2bdec500ff05746d8dbb1c1de1690898576dd670d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 d0db52db5253aece2fcd72537d98eb257178dd28194515c6347074743c32bb3277bf1b7bfdd20cd2