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 +' D, ] Stream-Fusion:threads=2elapsed=9.754cpu=12.580gc=0.612factor=1.297zXZִF! q]ŗXf1-/6vR[]`\Tu}M-*qtjX`"ny#90l)/.vS} ̋uI&%;v*滎cufY6V9; |Lr&5;ni0v 䱭 OcC()&P! {x OEgYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(vۿs%q\hZZ:QM%f /'A 4n77@cFh?^d|kٟ^(uv^"mj?N9gYZ7zXZִF! >]ŗXi%;уw%1WRK7J!`\C_Q@цҚ4\GVߟq>@ "yڪZ$wCرi<[Pza_uM* ֽۘmk=aMFI+Z\lk;糿D-?+~(2٨n_ƆEC+Xb[JJCL2r&'P?yÖ)<(\ @\ٛ7%e-f^їlV 組q2}uZY@ b:+0Qv>|׬' #m#Zh\3SHA}Ѷu%UV|/L6 UEf 3 J}T= ~ƐX[O4'~uIz>6`NSb[Xͻ6Zz+I`A.i1\\+1yu+ޒq0g 4.&)񤒀 LJ>0oпڅf5{ضo8ob.;uagyDZC5i^)B];![<|xXK@,PM^ VV է fIH/PMe w'Jj56痻*)Ws I318yӷ"r 6$W׿Zc~!&9ψnd~ *UD^R7n7U [xdc1'zEu9YB2*4egA ѡッ{{I{,[ÈgWļ gw⺗ -HCoץ}eIRgYZ604d377da76fa92e3bd929593ae7f83e9ad5ec5b79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 f1c129de9d48b6cad81787697109da60e36cf859 ' Stream-Fusion