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 !!\' $tD ] WorkerWrapper:threads=2elapsed=11.569cpu=21.536gc=1.000factor=1.867zXZִF! ]ŗXf1-/6vR[X"9߫TSݬ2KܦfJcTunLsNC0܌eɴ=qL =xvz?L hp+cgR }tZ/r=QHH(+E>W+32SlJCQ3P@tM*Q퍴Ytd8L*;E^ ͱ9Fc1&zvTB-ra5"]Gwuh,w[{""G7Ѭ< t.Q% cZ.R6cPZڔgNkNu j4 &,MVD.A[YE& P^ݪv,-AZZo?ۥ'dfJ:u4A orgYZ7zXZִF! 11]ŗXiɟ mLr?wl:bA8YÙ#ZLaX#ͯ[k^Sg^{QKvT`JgnDy?ҫmw]$Yt_ZA?\(V{{;HDKNH[U/u,*I'0Y=n%Eэ~oVݱ?J%Du$]N][OiLءҚcJ1N^]R ߩLqs㜷K*Nsd}Y vCv/lc'yֈ˨[7X-l3=z@`n$(R?~]gYZ7zXZִF! F?]ŗXi%923T ^kr(Uo,+nlVUp T.x|'*5^Ec,UD94V3ƙȨuw<樓,55[/vR!b+(QW0{K&W6OU2?T%bilhj.jaV) #cW+Is}Gpe/Jg>n5;yeۡ0ƏYM k<$%y8EwpVPX>4{sգطr{bBit!3[o]On)㘇{\|4.Hq bcNQt rA~bÛK2q}wU^wn p4 ף)2hv #9фY">e6}ʗf3t.̟O{ػw apbmr Kh͊3B~]xo tIz/лdkn-—|qdiHA`ءe jtr{J9=>6SK{K+`B`&W m6_lSoI`E5[ !]eZj`Q[ζ*~5oLgOmۂGt7,j)`MUTя"?1IYZ.F=~^ޒ <} /b9c! Sb Ufg-LNf}4nҸ<Lv7OL/Ŀ~1Yk.hdDvkeP>nk|0;ʿf+ɒql(͟ԑi(km3)T'+~6JЂ1E3łgYZ45d50f47c936a740677e371dea5f9b42c954461dfa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7d79e9003cc31283f3bee0bb5f58f865a2173ac9 ' WorkerWrapper