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 \ , Y% RSAPSS:threads=2elapsed=24.383cpu=44.908gc=1.320factor=1.847zXZִF! ]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃq#Z!wcFt}m@0pTP_a:iJTI F>y WX_- ݰҎrO3~90`˵z+)ZQ]1r3"$!0~&EٯR@qFs>n}:'FyNÛ/tB|Lmier !bֽtUqh Ӥpꡀ7$]67%Z;:ҕoo c 0y)1i ,]LZ-$TXOWlyo:VP,˯V#K!bP۝;xDO+@3ucW Cv́\mYj^$Hʤ T<ވZT9X|}F5iyϠI=2e5±yI='ӟR䣓d<3|.`8=bQNTa_#-/WןԨuў4[pR)4x(lBt]g'R-lJ8T*GЖgtij!Ut}NL71?*62}rL yRK4ɳZm3V!9_ԳgaSJ f20N@Sy$\/gYZ7zXZִF! |]ŗXi%6lYgʃj,X!^98=!tZE3h[_w ҼG!1Z< +MTϾI{BM}>.GzpDTw(M&J:?Q7d$aF]f*{E)4YOžnIϐ\4$5݀J |"{jv%)1FEbzWD\{i]&f")" êL^pC!\M>/ڥ<E!8[́09ķvt(SmbBZ=:?Lqxo*.֛>i[5:4gD?4u7`jk#0㱌BR bUWRkiq)LfW?uc.̓,f^CM~}8wԛ ]xl)_9YZ/vPQ)u?@4\.-`3K ΢Fi|G袭!r 9&D=N%``J;̠^?2JgZl?Ƶ$W͂ASRf:/jx(v&d/S*a1ᬙu:Ǥ[ \vyX΃-| C P[[<ٶy_ GO]vm/j<)X[qvŁO 8\A>z&bPG4@{[Ύ1w|z-!;z##xvH|j\ Ҡj]f;ђ60n _IW𡄹f =urIB+Ld72i8IP4(ᬊLt c'b-̇v{BBBl*0<8wYf|xlG-VCȊzWk?ijyTl&x˒u;۬]4Ws b#@wk|Kz5C7t\^۾[a㢐gŭe =gYZ01bfe85db9e8e3818dfe10ccbc0c99d937ff1fc1 1feb34bd84773d3cea7fda4820d6e1939dcb5480 28af2a2862bc29708ea9527d18fc3f1020b5ddd7 46dfa43cb6f20764d1a01d2996aa51a76ed494bf 4a5fee3afd1c7d3f6312954aa68ca5e73ed9cf81 4e0bec2234688dc8c2d3d96cd7f2c1b5d5f5a4fe 58f14861781d1d9b69c9140cfca2b2ec914b44f9 66ede1d431d0b97a9ecf949112be7410a0454d64 819f5f06ac7954145a9fa92abc0f031d2ff51f50 8c46c52188350969eee9f7b51c8f59d5e2cd53d6 8c8a7f58f485ada2581ef3542d0d5b85d2f3f3e4 8f9d4b77d3a909690e3c323eb9e45a06587dba10 ba08050e1822cd4e12bf78c2f2c32f5866d2cef1 ca039ebeff80492e3c6900e2b2f61d6aea027f4f fd5ab7abcf04621d380e0e3ef5e15189f11f15eab9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 174faef35f0e67229400d403c7188e347db41efc   RSAPSS