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 %= \T ]S]HOL-Nonstandard_Analysis:threads=6elapsed=9.407cpu=27.120gc=0.940factor=2.887zXZִF! ]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6x5fF]xqj 2lû,@PydZ&I? X2cHw8ؐ 2ZU UaDF rPvD[X{b ]lFsB@gT]_mnZCQ"qe{\T8;k6#=X92MKmd'VZ/D^LYն-BCttuV 0LGGb]_һS^oHN*&!y"&?SCik#&IA ydƽ~V$U(v@B0=LS:Va)>gEt3Vy; 4[ѱgYZ7zXZִF! /]ŗXi%6skۍQ< 6 = ;d,Ž3(~"cq^*?ӡ&ea=Q,OŠαvyE_괸9yrvUS M6LhNTe:KdUӛ8!mk>mm/[4cWGjK9FFKLPe/ G@j/Lso'8.pQMV긻9DmKA~I .ιog A/Ey:EeoomK*%'ĕ ȫ(\Yլ&#Bn|r㷉$q!^Wwш&>*e~0y jXZF H0=mA$/LfQ})׀|@zQpzj1]T3~f̭یhw 4ejƏ~x >F_> 07( қHg~bHNQ`E8PZ:$v1M{:?s!anKX@G 2Yh|"x9;2IFjԮ94#D'~b~WǗס( K-}0c%C^N$OږpYe3^8kN&OpW*{߉o"KM LTq:/UвҞe_BHR:QX\`\$u"-L`t*oKz!ʀٻ^ j56i`aҝlC9{Ff/(ף<}9+#^ˤ] x6soĔlEǮN\-gN(R'} 9A^A1vgYZc717c4fc679c70711cdbee8a9246cb6ab26e858ccb9068c52176507145e624acbeec2272a10e4f6a 87206ccabfeb1d393ed2571f867fc3906cc88dd1 fc60ea1877710c55efdbefd683bd6d53b3f57175 3a83f9dd818d1298b5a0dd51746e4c30500182072b7ae49390b8bb045859ad411f13f4896600e1f4 = HOL-Nonstandard_Analysis