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 S% Triangle:threads=2elapsed=5.580cpu=7.112gc=0.120factor=1.277zXZִF! n]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH:,BF!{>->wEo2EUلVi>FQeH^' ?"Dp7V Hf2HIK^+#)r"w!.QwÌʵ,~f Us1MTA]"wGZ27h&h4 $ޕYnu]Xyxo4 +W9w;V7, ǓnBBN =sW)GB&n^_=ӣUe;YnCM#ĎPa#lUi+yk/ wLi2?Jl%a *UqqeTԫ?W9"+w>.,l/|u]nAZzMHx4yӾ2)Z; Ȑ,'ګC&;9L2Z7:<jD=*VB6gYZ7zXZִF! "]ŗXi% u|On8:I0Ssm:Uj1kWTvp>z `2mF\Uv@K쾗@\otBDUv-GR ,ؾ #iF~:ߟ-p$)O`zR8,]l^<] lI|Ƙd5vӭy?g(*v+q uc0PD۴ٕ:>LPDA m7L+^[s i|PH$],:?Z 3y 6lS+0lJ[z]E1̦ܹנ$oޔz.~ %Dɽ+#46gC؜y Ƙd=qY k-ti8CD;!a>GvcrDQ 9rzBji_M;'kcg\}nq{<!~H5tiqؚtvY]ՇϽ!"(jPJr,Q\a۶<\\f-?4r^CiPL2fOEagYZ4cd618489b8bbc14bf88f1c4570adf6f7f31f68a 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe c8c0d0f53f45831b0b38684c9c05a79c669745b49711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 000c31cfe79f77e59785b0781aea8cbf500999b8   Triangle