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 [[ \ S Triangle:threads=2elapsed=4.906cpu=6.892gc=0.128factor=1.407zXZִF! h]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mHC(pəO> :7 ͛QmqBzVI͓op ҘgӠ#hj EkH=ÀGh] R^=rҖ)] ŀ~lC3ܰ_O5h8Ct樄؝Zن=~ ;zFbO]}r<+ЉY{g, i%W"I}˸C^ku0(P6g3opՆʐuԮ +F"9I>9%B/% 0>Eӛ APܻ5 ^Zck摈5sfcBF{";;l Z%wBk˩y2") ^bB&sgYZ7zXZ   TriangleִF! ]ŗXi% -ڕۺgytMG-73lqn̟CY^4ӄ^ 1 kvo ef(:XGCvlx6IV.)Jo7Rk86*hB*@MeF‹,} I1Ǜa [ K9t1V6֡87 Lt O3 YЌb(dͨRR^[^}dëI25fiAD'o҆%{TZjW_OK'O`g'!)`nKl%ꙧEWVY,31`bdfE m2yJƹQH4^xc%mq-;LuFs?V)`^$ۆljۦ4 RYo0)g٪etA ytF/$)"n"}RLR(}?;) MS~A':gYZ4cd618489b8bbc14bf88f1c4570adf6f7f31f68a 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe c8c0d0f53f45831b0b38684c9c05a79c669745b470d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 f60747b440ff03a765b404a47b50b781d9eabc9e