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 XXM < w]Noninterference_Ipurge_Unwinding:threads=2elapsed=8.988cpu=14.448gc=0.600factor=1.617zXZִF! <[X]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cmZRl i#N׵8cQv1nETQ TcEGpɊ3$҆VK`/ +ei6Dר%4݀VjׯʘJٚ(؝ J#^l]|jX"_:Q'1rA (W~V7LPMʏrO~&+U@NI&co|pvYfRۛ\s^d+vU TL-T5<fC6ڪabS35~ c M۽CqBgdT)ǙTvxS=p ͬ_ tZ2<,ÛTAP#dAw0M]BHEMOI2`&c_{ #8Wbj}Fi\qTsVGsIX7%tԏN^Bi #M Noninterference_Ipurge_UnwindingG 8 J=xz̮ؖr6B'Y/i۠B;41%eP1(J kfFI6!daw^}?kQ|ȯl}Q`!JNbod \rcB/#w^)=m>opה0хg?~9v5&t;g 2 oi=b^SytLwzݏ/$piؐ4ˀ !JCb '%76QpXkOR:sBk.KgYZ2a473f1a146a8d5f758dbf026ed16fe9ef67cc87 63b9332e0c2b071f8797a7aafcddf15a927e077b 91942ad783652fbce74e1283767ea8691b7f0ae9 a0209cb008417d27a08a814859edb9db1cc1f428 c571be726e2b51d61550b43ddefaa284ff8eccdb fb97a5a27b8324495e15710f48c01e4a6b9acbbfb9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d b5bade8a5161e9dd65ad771470154ac1e9545437573c84006509704374adaada7fd64f539673340b