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 h' ll ] WorkerWrapper:threads=2elapsed=11.626cpu=21.672gc=1.020factor=1.867zXZִF! ]ŗXf1-/6vR[X"9߫TSݬ2KܦfJcTunLsNBf{L$& 0*w#8";&;a 쨥 7#ID:2`qTgoSXgv ַHBdxSm `V5Ўv գ?=z( 'kǎmm!F]wuW;?n7IqM~DcHu\$CݜW;}ե0CP75̝AtW[Ͻ_ ^$s | s\DVy0 4C3]0}ևlé5#1IJYDA(<; X6n)JsoмM" -i+4ZD?@At~bJE@`ooٚ `gYZ7zXZִF! 1/]ŗXiɟ mLr?wl:bA8YÙ#ZWsCզb|PuRJ0eITyI y݇4^=-[+ :7; bJ5D wй~UHHKU T5̵@a".=*\M95yZΏTWN lvcؾCg}7^?(*s0} .I,(U戔xxEIrAg|g,3ȭ.8or Sdc{gYZ7zXZִF! FP0]ŗXi%;уwS* \Q7| 3+R"șK, QR1XmZY.1X igO%h͍gAflRda6L1b08ś))L4 T2 "ݨpq6.SS,y\1l~VU..3)rdcL-F WY8,^a"SX1,vL)ͣz94iQ7 21W)A)qt\{ I3ZFCk3 gnb4jjR#K<_k,&>Av;}l 2]hs˝w0<#>3uB>6ٞ 9c(,[=B QErڎBWҁ}D% eHvoES\CDݒN%v_灵=vJtG s$_]$Tܕn阳CPL /^ Z 2n6_-D;w6"J-q(7#4V!Y2"I|;jq-~,6ښo>LdOBv[@ ĝ8W5 Y$j2! ̘S A|YVcKQZHgUMhTLSBqgߎ_`#@ J&0pyGD'o2c#O}J{!vn o|n%A% (+zb9 ld*:OL2AJQw3j 4 #OTHfb*JnNq 'Ux2C1;J ьLgYZ44595724fda0623823d48129a9282140904de04379d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 f1c129de9d48b6cad81787697109da60e36cf859 ' WorkerWrapper