SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 7 <|, ]/ Coinductive_Languages:threads=2elapsed=19.447cpu=34.888gc=1.444factor=1.797zXZִF! ]ŗXf1-/6vRZyѺ-Gl5M*.~dнQӪԎv5yz: \Y}aPS\mɢ]ʓ4N9"2:9hr"˭HY]Pi1C`l,b\I$tC-bboo!Fն|2Q{ҞNj;*{i2JvE1w} ?\HQ&}hho'}a e>^GQ+D)sq#5;o _=8oW3%c*F t'/)G3V xњꇭ>S8^h^^)O>8ޔႮN[XU ZF@:&P ߿[IQCr~ ߆UZ2_Dm_NVbwFaXiO(&LFDXfP'v-I53m=D1Wa:܈%G/#{ <9ť5(!ygYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{~$`xjo8G(IZ*ܡ8mCPMVzeN/y(G^*LX+#'x C&Qެj4ܟ-E1_AdQL%k)+L<7Tl:r7͔UG@ DSN ؞( y6y)Z%l.j *9LS*NCE.rUx4[ s}Ù*ΌBJ aYYKiVnAa^alBy멜NeRiw~26TMt$ x,~΂>]*(B $p~\oU:")8fMLSk( hM( H ruIsW\t$LT~ή O$s L@9pOn9hWX=)zCM$@jG8Nf#*i-{x)SJG;Pc:tJhO:*Sq@[z*tK8`# -e{gYZfbbe502e706b47f2de7c81f81e5abcf1243639edfa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7 Coinductive_Languages