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  d %w Topology:threads=2elapsed=5.683cpu=10.960gc=0.804factor=1.937zXZִF! Fcz]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C#ʽJ07.-/hUOm;XSsM^N #_Qmw,2\bI]=>;g-h%p25r೅(Bʑ,rX,ԉ|zg)xl039b/E>j" FP7;jQ[ťTR{Er+w8-AANF'#Xt Ih7NI).A@O ){g K\T$zMbNzTMQ>D1򩪤Q)eO&#Z²,nYjS^u)ȟ+ψafOn5B'@'H>: 8P0*I^<9GbuN@z~t 8ٔb МFMʀ&ErUn!ZvQpH`,]w8pRF\3ZCvCpc~v]Ɯ05yWJ ŵƕd͘&Y-|g ( |poƮ0f v9EY0g/yfww-{N@i (J IgYZ11a192dbb9af7695fcb546ff21897f89485e42a7 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511a e09af91f36d3b8ec35dcbf5e10e1cd6d0b8f22259711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 409d324b6f7485c4d6e568aff4ddce6404a296bf 35af98d8a4ae435eb10c4b6c095fa7792749b6b9   Topology