SQLite format 3@ - llB77#tableisabelle_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, "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< ? HOL-TLA-Memory:threads=2elapsed=11.117cpu=21.108gc=0.552factor=1.907zXZִF! f1]ŗXf1-q恈&5v)w3X1sNϟ_&ԥl [$1ΰ I숝 *1ƃT0BR͙sMU>SyMKGlR!c~߈ZAoQњ[6$  jΞa+{28v&E R_P4[1J0T@mmz f1^H7۰U,Pdp`x T|$WVaAXHd_i&^벟 e@`͇K>S}]MICAj~qS0*F@0aAii`1Q%ht"Ԟt%B't-VރI45~U񦷑i8蕲t?-:H%dWȂ\lSM9|{{]v P+'Oo8xe%31!%c4&&y8~ʏf|Ly@ԌsIk\sRG0{׀R(~JoztRocRUC#$WL\+EV WVPu>bt49V>n`w!*:1~(J@&ͲKۦ`|y8c-C:[LsHM6}9/y`mN1{y 9S~?[lH贩Xc縐o?UeCC-IkN D<$GT}8 )֥ygەo„c2!*#v C!a@}30(͟J(8A/b%D m2H*@j* <0QtVg2*(=߭q@o7\kM0G fB@x7u5arD3gYZ7zXZִF! 5]ŗXi%CkF$ү \JqC7 {%$:-?d~T@gxn35a%}xR ԛFfGSap4Srk3ÖgYZ0adfede09a2017674b960abe1732f6f5afadf61d 193e7a8163a4200ecde300711efb260130e85531 1d81f1b82ea75e74b860b539fcd461ff3618c42f 48b9a431f167743598326382748ffdbedb8b8dd9 6581e20a4df9b91396729bfbaa321d012c3b4575 7374b5279956fc20c8ea650a17532c3728143879 a098d43d5bf350c1e7a6e016d7e545222a67159b a1ab8a78cc7815651e935e7bb92ffc44c92f7fdd db406be5725d480c0c14ef4fa9a255861d3c15c3 fd0ba322b6a289a6a38661090d987d9e74479ed28c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed 3e5e69ab4db0c5555230db4693bc0a6e47966199