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 i1 ,$ ] HOL-Imperative_HOL:threads=6elapsed=43.529cpu=63.244gc=1.924factor=1.457zXZִF! .B]ŗXf1-q恈1$1|-~yߢ" w7Eh % .pICgf]7l44]e8[Gyl}>,1g6?dY !0et!daeKշLt Gɪ"zp[COyN@|yACTu[̯n7 jTUfrܝnMT: ]Nft,ӑj'!^HE?L:`{>Y Vy} Hs 0a"͠P[͗BX\qcȽ7W׹%K@O}[;7`/,_cYkB hQr 8pzpŸVƑq\~êCjJ jD< s6~Ęحq{H !kʆ綠cp4ԐK0Z2߄N!|~]b+8_bӞ4lV>J9Yfʢϝf9kN44#Dv}e78ͤ}Ega^&K, /!&NЗD2rFxѡ6[͡XDe4PNW_6`9E㮍LGb1V7VkRu#G ngYZ7zXZִF! g]ŗXi%;Xto\i ,ģYIx:&6 p{J ୀj`@-XQDɃx SlAlF@8rʧM?kor&<3 c ʼn 9{8+mG4KӠ7wiڛ>o1v=+,k谞ޝ{j _mW="Ib2B.C$T_.ɪ ERJM:|pbWYt'& 6vUs(²eYp5/m()?x6E4U-2F+ -,׷YIgN`1kȓ*9Ӭ*GE}ݸYLtIH򰟔̈yDƗÑ"rS5+]xҭD'rωJ1o4܍)𹔠 z=-X>DBsOF;[RT~ba/D1gژP᳙e3ݩ82dr^ >mӂ;l/>[ao5vh0wBd2(s({ $pgWf`Uu&^rbܕgP(m܃l^B#ed:ق">VRva/BuѕZ[9gOvA,6Wɩ/N_`Y/%ۅcZgNSݱ `.mx9Bdq68zbbOY.bAޗ& -Hяcv:}|JT)`GE]͂.*G]G?NN^g2~gbXˣ}j6׎#?^ 4i+9J`CbUqZcТHQT՗ W,D.)*M`%bPŘt}ta| M)T0)_wSaQ5|3)RlγobIr#4h1˻ %n%nJ6< }dq3U7iكN,q}K]@T(.p"o(ҜI C1K"lAe5Ou s|l^nzC-89 Y‹7%#3Kh)H닒(S (T"<I%^"(0OƉ%ae@x 3vcgDFu@pev׋Fm$L%(TWfAp9x Y:?wxM}8HUƻ09'ї:\:O$]90EUs3gYZ934a4ed2d5648f93fc5dca67ec821e950864f0f3b121211610e458dc97d612673bcd7347cff880b9 1a49b8a85ced53b842cab647e6c466047ce342b2 f09c2300a0729d3f40460de3221a99f80cdae554