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  | c]]ZF:threads=2elapsed=20.030cpu=35.580gc=2.300factor=1.787zXZִF! [/ @]ŗXf1-) enȈA XR„h3ҧO-!d6gդ{diƲ =2fQGIUIkv})8p/r -f?e{K4T9 [l2f1f-%<>± k'0?-% al!T}|wHb/}ZAw"Gu 8_eIv~_࠳i4i ]S-fr LP墐 6X' zOQ-l*G+Q\D`.D\R5H} x(sP9fx%2mq?W9` Epŝ Ū`7ACZ#%Q&Udq-|*tO0:2{B i T7/Hjz@^tia13ygYZ7zXZִF! Vu]ŗXi%i30b10"G3!O(m zs R3ӴMWB#׼B6[gmlڮD5 ByE.TRMh 8hDɫBn]Yq z219,T1+??k|p]c k ?H%|YCȊVdEA$Q؀c*Ӫ,%j"5Zw yW LqO(l;u5엿&q >b7=GGצ 8uItƃ4,g2 4JAP^yi4,]W_-ste3tPܙ\G]K)D=vԧ8bRk>@,6HjI|H?e]f2[7jp`B=ڡ ɴJo¦ZjEsh8|ojt?/Q$G:PX5E6GVP'v'+%*85UN1{qv& :;>k0}n~lzAv1Rg4fDлдx"5