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.309cpu=34.764gc=1.456factor=1.807zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VjЦ7 @zeҋwvQ$^ث^-+Jof^zVT.ӅXݗجU%Q|̭RbL-j=eTiu%C;(h?wM=DZg:_6a Cݵ !uPpئ2Tׇ`&EGw709M'`H[r.칓گv OT\ɚWg ; ߳;4˃ g-Z? ޜNOk2Vs{{ܰ|#)SlPҸ.rLna*`όt ޛ/pjcN~ ?%|/{Q,$#jUfQg2 >M7}M#n̚?gW\放,Tvn$w=YZyB9Tt*Wږ%ߛ 1iq;@:V+&Աk=toh*"U0eL R}ՔZ>_^sm-wY'DVTa<76eaQ{FxeiQf>`Ix$Jd 5P>gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{A֭}Pe_϶F _$5eϥ^-{,f*bPm|>85J(1pw ꅯ*A E09#'"=0g*p/D?4]PAعiy͐΄5qtF e:Z_R iTgYZ7zXZִF! g]ŗXi%;cQhJ|^p g#He35򤟎c6CU+Gۢ}$=2lZozG=!]9ˢgL'iRO4hQpt|zCF|-u78@l,ιi\m'h X/hUWսu/LQpdz!,G'KαP1 VXэ3^'4"H1^y%8'8b]$FځД@qx̖o?=݌W6g%9Al8>SdrFT$1-RWq! g$a׿Z`H4`GRjqӇRG^N♞(te|+×9ѝ(l I|