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  l d ]HOL-SPARK:threads=2elapsed=2.607cpu=4.360gc=0.172factor=1.677zXZִF! ]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖ.zJ7 IK$Ùa?Qv W9t9M k3M'5%`yB' 3)@\/y%h¤\>K[v* :q{}>{u} k8:RgYZ7zXZִF! %]ŗXi%zHL4/RF/~Y 0֣*ؐש8+XVvr? L=p84 0G  \i)b 2㲛H<pcڴt;XDu`zkސ Q"hnl:|'tLЦ,P_Lƫz#D+d@EI2EtF ) F.ݫQN'<>rWÁ sJ?ߡWl@woIkJY}l?؋%wzG5pLUV~Ԛsv%u^T{(@QIyzOrOj$O:B*?@1Z=}'A y"&o9RSI %?,T3~T:ޕm 'ˈ:VU|iRɇѪ`zɴy.荧 %y`ɽzp7d~Q %WcgӜ."ZCDA GAc O(gYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 115048f548f3fbc6a701d8d24a82ac92afb3d833 197f2c6f40bed80a498671debefccbe53cfdfd65 2d2f8ee4115c18d1e939782b42878ba632c49dfa b90f0f26a2276c8a851d354c76363a6bec4e816a bacfff997c70f99c466cd602f9e3c0049e93cc3f e91cabf3fc84c7150a9ab2aeae404a0f796263a2735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa dedb1fb2ce17009850c27ae6db421c37e92db7ead33c42c673f650720aaf92ff4f11748952032a13   HOL-SPARK