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 QQ$%t\ w Pairing_Heap:threads=2elapsed=3.281cpu=6.560gc=0.496factor=2.007zXZִF! "]ŗXf1-/6vR[2F*DlIW,|k|at&S',UbF<\|FP]3NOA?/( N,kÃ0 ^ 5;NCpۆ$X@ = fšw׀A]|z umY\^4zd4.J<JJpg oFm`!LC <{!S xR&lc(?&Rm \4DPxGl)-߶j /N݌pV#6bna [a2|ͲPuU<6Gp97)?ikya"}—Ԧmm,ٲڼ}^ǣK Ѯv%UtM'Y0(W%6 84wH7 9[|N{w%qN{0Ha}E4Pf{*`o2k:T e nc+f,t|rgYZ7zXZִF!  % Pairing_Heape]ŗXi% ~?6:eV%kPZ4TA`IaIY銡Pހ#eןI!?_׺ah챹eX'Xm߻ u;7:&Zz5PjaV P?[OCyUjc@C|N;1[oPK˹ijej1T ]Ct#;@|ow``@Ync3c"hZ6AScB'XڏQJ ^\{OS)U2Ck[h !&^D)Z]~0 ߛ Ml%5dKC>:|vr=iQtU"/BJEAɾVcأκoIHt)9? `BB%"!3FK3#A;4~oW'u/Hk?#? ,"}+GLM&[i$b $yݱ߻^0w }"D[Sm$9\ |1Rw~tegS^#Q-ܒ)C@Ldvc3Ɖ*gYZ2406350fc8727bfbb9cd0b178f37f8c3eedd0690 74adc48a72fa690d8f30865a32ea28baf7ef0f9e 93fd90144aa239ee204184369f17168ed5614265 aceb996a5b707b618f7a30886fcc2ce058098773 ce48a7876f4cb6047e48fa90db8d31d7812ebe67 fdcd07e33d850f2e31fec2b9a936a64b6fe54da970d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91