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 rr D m] CTT:threads=2elapsed=0.676cpu=0.956gc=0.000factor=1.417zXZִF! |]ŗXf1-Ľe  CTTF5ˤ]HrȏWB]=gb%~lkc=W5QI}zNў߷Ԯv Ϧ( !H,xsngYZ7zXZִF! ]ŗXi%ik/֛N`#XMP6L)Fߋ[bz/K2 =k"δ x-s'bJd}[~[i4bKqf ݰ~)Dt=W'HuC<ȌɺoA)MULP2́\40 E҆vX~.{Ů2Hu h'F hQ-ؠ Z(\ s\7.5K]W(l6G!!Yuh8Q m'ILX_{SPPzxmvD)Fe`e-sudس0uTX$RSbZq9+I:zK r0$T:gSt|gYZ3597a9503e21d60fb10ef02e413f5e8ac6d23c65 47ab5e12f713c12a600183f27a54a2d10fc7bcc5 4ff231e9dbfbd8b32a7192fa22b7eada470a5f38 7684ee4b2033059fc89a0fa153b20aafd68ec874 9089ef3c13c08d3ba5b3a9e4cdeb9e5b991598df b8cdc9672f8c2445ddd4eedf3b42acca2f61a654 cbd62024e1ebc1e91e9c12675b807a1a7a7e6911 d5dc92c918f7f2926d839b163368a5b800022194 e4fe2863f7065e3cac571887135e1095336ca9ddd2fbbb72014e26de66d280d7be7d08deaaabe52f