SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 {' Lt\ ] WorkerWrapper:threads=4elapsed=7.411cpu=21.304gc=0.680factor=2.877zXZִF! s]ŗXf[&M{z6b'(+6(3J6nv㥷8_`^v }zͱ]T;;]'(0Imo?z(uG`zTȂӠ.z RDbX8d=4?n6bCaSf",$GYbd"1MBt[oWFd3\pcu%MfsZ/nsfqHgYZ7zXZִF! ?]ŗXi%B8_v0IOr\ aZe1Ό"gqηRYtgƕmߪۿዌb4JeWHiFQQF"76u\=t-w٫ ʓ@<Ա$V{HleȩcaUBic:g$vz/Fn|!΢1﫴5)uE`悇Fǁh:)?e餗){zu L+\gɶw )W|]{ν:>-B4xzmE"fĶDO8Er^Y`DH\o}R!ag[B$[ʍoIF:#CƑX=??]w멨&b5Mr²^6xL-$Jw7hp0P5%g _,"MÖ%mk(\Ԯ4ܠ߽-o2ΙE35mP+}H{1`**q:N8[\64f⚹[+u2{wDmcEFR_9 Il8 i`|Ǘ5S LVgQl{VLp*IQ]7 ڟB'K #2b{=.ܟ9|d`2uV`)wm23 ti08Ú}uV fl>ӧbNQ?WpNJW$S0~pvvÓ4%/ .=p$&LX٧ 4G/I, 6plå#,aUqֶF٢H (3N .SCfA)ՆqH] P=ۨLbMDvSI`0b&ug&׍& p7%˸_"N_vP#at{dߙ$_i°_[ M3ObMQq 61dF2 (xOb(,ܪJrIEin`k S6 LC J'9 Yž%F8[ѨbK7+>;Hɚ,YѠԲ͎F Mk۱gYZ17a31420c9575eb1e01104e03d463b383dcc5cd8ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe d2e87123518da864e1214201ac7c02e3ec9b024f ' WorkerWrapper