SQLite format 3@ . YYQ77Atableisabelle_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, "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   ] dd } XML:threads=2elapsed=19.197cpu=29.252gc=2.032factor=1.527zXZִF! w]ŗXf1-/6vRZyjg 78pl ?e7g.j;f\xCLmCw$'R `~C"h{wsww'gՕ&fypg|E/O80a Ko{3(R-s2. `@ )lKjb >^#"&q]C0/?%OnL'9P^) C= >:#zF|gMp^ #G'н kso6&zAS5d00?H\QQ_HvT)f@PUq P$%=/o6 " .{D ^FFjUTrbWR2W8RIعw (x+ Kd*-Cڡn@_&|RKct Hr_jZ*\Lpf [YɁ#uz%a14%bF ~PV_;>/ݲA{o$Fo3/3U_uȆH҃^w.b<~Ε|? bm*]1O ?ɋ }׹ \$ 7Ѣɯ[KiNRq yzVYD(Lz0i.tቀݐX{{qrX/-E40rV6JѢ`aNQ@/jЬ u-,v[Dd׎EMX}uJqܫ^gz[#*I,1ߒi>xoׅkK-oKUX~CՏS1 h=FX"qoj+ P ,2)&JN9&$ =_oD&>Bv\޿{B⋬E"2Jq<_1lto.xRp൒ح)#|Bs^“9u(~Qh:.zycY?+y3*(O:OC,nnj o[(a< #^|i–4F]<LqdفP9I;n|{2Ͷ‰"퐹̔O21J@621܊|Dx/| SNĔ5ptrtWᄰDv@IÍ:N:hN?B![ALS)a ]E6ACJdܸeKGX,RV$7 ̶wi>RUWS7O$NA5{l0 BfjKc v4~4d*{ӧSuKBT8xݞ HMm_kxQCvB@ynlC}eyB(7Aƭb5B6O g}KoMW@m6uth >VW\{."w7B/^ }eDFq)/['aף -gYZ07fe2884c3463aedca90506275e9f2e53c964a31 09e0808c0e37c102417cc80ab635572ecd263bca 0b69d8c3f70856201e8c054bc34357b13520292f 18aa0abdf1fefa55988ded8ef401a512df7f012a 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 341d088b709cd150fd9c1a2653b7d716a51caf6c 37e048eca1afc2c069cebaffb562a02b039bb22c 672bc62e6aad5968bde78a156c202792bf742869 79f31440868c5686b204e83e4f26f92eb8d94f9b 97c7c8fdf1e6357f7c5e260522b830976cbf9a0f 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 a6638c627480a5e8ab799b8b8c54931fdd852454 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c e425ad06b9a49f5538a36969a1faa9e12ce5bd81 e438ab71afbf69bba650907d5d74b783d37f1cde238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3  XML