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 ww~-t, %/ BinarySearchTree:threads=2elapsed=3.244cpu=6.400gc=0.260factor=1.977zXZִF! 2]ŗXf1-/6vRZkc-X{8)aI_tTʅ>!diP;m?Fv8LMGۆ#^!َAZ<8>,y-f7nPFUg/ψk}WfߚbLU8ĔgHW2 L !/w Wa]GJ1kiZVd/dEL5 XA(s'ăJ(5V# όz:m:H{9 rĴژM;Q9 جQcU ߠv3, - BinarySearchTree;+.XL \q$qompg,pXEǪ7,o.k[I&yڧU6Re,Ϻ—=Sjgێq~(W3cK~@c?EZ=wQcK7_GVCl70m=1՞T> Xv97uGJOV|ӕڐUYz9GjmzΙD ؅cm mtk ,Fh d)9R=b:c-䲿3XޢR7I 2AZ6"x(Rx|9UvrW %_#XMT+}E٭hWlÄ]#Dȿ` <ܦ&|0^] ҡnW~krU١2 oHWE\]}B8ȑKCOVLyN wIi.`zQ7;gizXXE'o:z5`+~횁2eD';8$O(ͷ6}.gkfgYZ6937d454f261d1ca04174f0c34c7162c527754a8 972a71e76429374e8f923d38c3314d7ea58b344b c95c3542f7d09a276a7aaa667e0f6b256423db1b eb898f687919e77e04a2e8ce0bd6df1bfd218912 f6ed8f66eb0af42e1e543b894a1ba4aedf3869cc3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd