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  < <A5 D % Lower_Semicontinuous:threads=2elapsed=7.819cpu=13.812gc=0.312factor=1.777zXZִF! ]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&F rOst?%=kRy]vhbF&(qg ^ s54nٳKC UYs+⦐=, l`B QЈ-BGc_>wq" E7GIc0ӕP& zЙh'' R[ܯA:!i6:\cbˠ( `gYZ7zXZִF! 1'{]ŗXi%6y\FbGKL{ ,qh *tu 'tFwpPd߼jyN)eH lULF8U,XE /__ hG#_0,Ud.(*uwK霄xvs__24V^8#ϵԌ o Xˮ]vOa#q:EwOXt|`yʌpjqvTMLTG܎R'}XnBHB%/%3wv埯?w`QzD,*f/?~FīO-kE9lFo4P/Pnl([aRz7\g$j-"8GJ0CIwAG=>:#f>?0,A pE#@NP\:"Yhu8wK]"w Ht3ƦNOCTfζe"}HuvĆy?߀.sҮ߄:!LiMFCc5^&a/NhNٲ@ " kOEvop;iZ6"FWꑖGֳ 0o9Ít3 k ~DQ!- S],LJ=zr]ڶADNmGf7Z O3kgf.r]kI|V_ mFkzB}++-r IhVj$=@1dƩ9ReLz0J\R_"dڹD**%"Q?bgYZ6d0cfcee36ecf616ad1e3d88fa3e4d09e452482c 86b65e55f934fbae00684093cf22aec3241178a0 a37c0ff6a586dc734eef0c613efe285630dd0169238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 2171a9640c882a444ab08dd88e02b67368cfa3d2 5 Lower_Semicontinuous