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 PP- l$ ] IOA:threads=6elapsed=7.236cpu=28.876gc=1.200factor=3.997zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q)dx;״gSeח7mv:_|nz2#N 6<0:EAICճ6f0G0{x'Jg0yS IM T{!n32JVtsE&smWyDUtG"pC)Us}$9EmE1M ZH]{@:; U1I[ڝ/s~끇AS=8{2|ϳtX$BV,kȩ?*;k-]R 6nV:QxV陫 j~ɸzLADi/3 r*9cvUmk&_} e5@iY#V^+4H*]ձDXi0uRwZlgYZ7zXZִF! `|]ŗXiɟdN'LvH۹$?vYeqVug~R|i+rNE:T$PsP$bp3ݒ;b:A;K~~/4k 6;!涐w(WR]U<޳zKA] ]y-Le _z=?Pz|ux zr2/ I5eX* ZV3_Uk3ϳb>.n@iWeGD 6~qBn"b.R2uf€T`UA:7^֫ò0y }#O~fٔ-\S ڷq ',CVZ*,s:T gYZ7zXZִF! %]ŗXi%ܸE']N_&e6W~| ~`VJ90?qjJ.eڪ <+ q՚"DBSy|ףP]`fs_j4P\r S[SjɄ vUFfE^;䃖:Ί*TWxt /{] fFNʣYxBoP6wN#I5UD qHo\:e Yt-i9%f0c!MWG!nzJAziz-.SK1K.D%2 Y%SNpCRgH u?t;^KQId䢉Zju"8q#bhQ}'+ HWZA2JW ~}pg22uU+Q$E7o bqVBdWn @:Do{ǗMw.I2J -=W0as81GljbTpD J0&جϞFaW /./"w-͌<ӓ910KrFgYZa178b8c033bc03d23e3681dcb729dc0df63fc1512bfc9fa8902db3916d36ec4512397ceb264483eb 477271fb1badc091331ba1e4626476e1d6c56cde 204cfed974865f994c574d2c54cbf872e8897ead  IOA