SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info AA(' Dd ! WorkerWrapper:threads=2elapsed=13.333cpu=24.204gc=1.012factor=1.827zXZִF! i]ŗXf1-/6vR[X"9߫@]-GQC4"C62  ' WorkerWrapperK8mt+J@"a`Z6j=.K,|hYREY#u:?uõRpx'~`({Bs#a >X˖(w>_ϝSFUN3$qӡ6}FYbtWBB hIaXSr3u64NMEgG)Z|B8c Խ5.""o;ܑ\.X^&5Mkpz}t>j]gW0?DŽuG1՜ol_M'`/|Ukx:18(ڟFѽ ipeWeJA` ? nX9FycA5v9V_淸[9GN!@`dw,$WoUKDĊ]\1>hsH= UR%3pǣ}{)vb}3vYt$͋B98c+o& g;xf${*砆ܡco%WlqVt3QʵW"m:]yZÛx26*LJy B#i3DHҸPSa%lU1[zû7)i9Gn#E&z=~b (e@rގ,yLl0m@9NL/h)5T@ז* sD'ysi`ӆRBߚ\!1ޟ!&L3yyzʝ}DӦqF$(=}@VU/,2Bkj/#p5ۈiJzZ7lm(7Nylip=/Atr~ׁO =_(n|130@#AKL, L[Q&Ti։S޿.ZS,^ƅ2PwPeFn/,adBLđ/`p討'V!{c?TeH[su8j cWK짃B}+>Nӂ]pojuFdzƬа+ _Φa)YYER51Q2g5΂tmpphKep_K YkQ=gZT221/ ֓M.{$9L ûѓ6}%;3 f0SߠgZg< pd҃Ci3;mgg{h%_ÿmY{ؓtG#ehcjL=F @㝛3"فΑSvCSyLarBKJ Iwۖ#S7 agEXG^޽]n)5$q]30&g0g6aەABӮ'u8O&仄#g(,=lL2wp*rfRV]Ny)-BR՜vpm4]r94 @֩-kw$+V%}C"tچ*5pJ?^.̜r,s<qkIV!y`jQ=Um􂐩*]}6*^q!>0LrQtvl»(.xSHĉ,w+#3бgYZ7zXZִF! H+]ŗXi%HT,Κ5ޢχhY%Y#E"w B9}TIaD*ՖKЈvL0}_~F!;S\ZuA.S z44A=?G!kNo;!=$6쏉voG+2wBkj~kKL&`c\`qLusX{뾟zב:e:JɽR\QeMKu=D4l[͝?G+f V ZKB!n`凰Šˍ{pZ89EEaYJ¼||Q`+$]Qj,$$yin{SXL-$1>ݡ'aKecނ $ /iB΍.9o5v G܅'tJm xן,`1HeIgIϧkocsȓN$e\_x%iOF_ GS%Mpi)j`-O;{=ҁIO3`3d~ Nop|. M j6BUBcR'0ٗCbUm5ڹJBNcDU݂`ezk:EBng,#id!FiȐohHEN4ġqLJl݈MzIn]H|WǑTGPa?s>VtVli}1+mkяgњJz,&Mjq@Mo9-} 9V/ϜT,)[' D 5:zȥg X12[G+OcAwke1fף ֈ'gZHs,(>ͼ8if$> iF?hh{p"vDPٍʃs(t,ZP~Tݨ1|5X>:(]UEeG}#S&1S2~J~,/9p*F&žʿ2ޕ!-"01h IHQdi,|cݒgYZ0a2c7d03761993d0a1d05019be99704d2a240299 1671306404d8bf0aa71a09907fa4123dcd140ae0 34542257061391055c6b8e8687d66c551400d20d 3597c940b3ab0264ecb66f5e80c0ac52d5c4d776 46f44db65900a4f12068668eeb99eddbe69ccb62 4e39f6478d860a208e5aabb0b6c71d51777efa4f 56112a8805dc91a83c2737d6bee5ec7c5ea05b85 58142bb0d4a5eeed14cf22145a50883d0e4166b2 6e22939711a88778452fe222dea8db8e9aa2cd06 7467dc8da20901417ed34e86d6379c6b136b6ed1 7a94731e9eedc930cb9e8335360ab16c526427a1 9b74158d2a835973733584164686dc74a6fe63ba b0496b020362f8f73abfda83897a1f945b2ed0fe b0ae8f40662dea71cc0539545678c88bb4d5171b cde040ff567f466b071cc1a9a4fdd9325063fe0c d921806f20f186bb83772941cf42bee975e09614 d9437c7bd796f981bdd57c733e359e12269ebb4c db43e77b989b37a94968013fdb7f1aae7cc70f65 e77c0ccc32271c3a253cc3ea7aa0689eb9df685d8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 27b41bf5d5497b9bc7bef8cbe27b48de877fbfe9