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  l l ! ,l$ ] Splay_Tree:threads=2elapsed=74.446cpu=93.792gc=1.796factor=1.267zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%~K8V&매ma`($ݜ0|)pr"rrGR)>刖V.Vt rWj+[тrMj4h#$TkN\}OF ˍ$ L:0ЍrbD=b3f熷(LV2Xl ,~ o[|3a)H9Q 71qtQ,^6FXH43̑C ,-,Z1cgr5&2f&q%:y*OSR^{F}]U`ZF<1}_CnީE&|Dۇkяރ$T-xVVukU|9񱚮Ƌ5OG؂Qur~R"0^K0鍍'[x%pd';I(X{;eZ2⪍w|.8gXAIQQyWf8@$rc5#y gYZ7zXZִF! k ]ŗXi%;?WJAbhVLzn\Fϴ;"qU+%A4NY+1>81mo`JyV0D=߱;/mrJ?ht;t{&?c;J Ǩ2QG0kC+;AȷzAGW1`’]K_Cgsv<ԟ44-=|F'm2{0h:E"iK+,w985_)J)-έi7nm+J`- "kMVQǠME- nm#` L‘{ړx,=~U&Ci>bE` i$sHT,ⷅר7 npqhA#A _L"BktB CD6+CԱD(zNPȾ΄pƒKZ[clt=ANbk 3Kw7cPM \ {U5U;[;}m*m 4^w+iZoIザ}g&[Z8ls;+e(Sf!@%.^Z-k\[i h8튘359 |O̊9U{ҌKNb!U.݊[|X-"1B;t㤯}; =PxCԢOzdh̲qf2 |C q4)}\V"J2S QqP>i\_ cG鏤nk^0\n\w {y%Mrp?+%] Z7^xؐ{͸y鲪@!/7:FysCd/G 6L &8}[|\c^֭N~c=w!puY^@EH E4,l#в,C%Tu[eFs7+c"OF/qrcu؆ R|&`߶ĕcj0ot֏B|{͟{_F@'$ o8b2g[f:Oآ|_Or \Mz6m pNh^<='wCftDIJ%ߌ1&5tby24`Yy,} V~K>( qgY@j3(beYPDG&;8(*XlApzFl|&F2FU]v uUVFXpAt?8s(P} !ѳZxZBz-N:+ |)$&hGS=p%FpbB?]EV C7\5+C>,Zne޵d(ŧ߫~PQjbhjN-Bw P\m0Lo[4\ \6޲i) ܽ|程d4x3tMۇ?]٢ FJQ()~A`jۅJdNekz|g?(5Ņ(O /ae#y -= *D؀̗ggA5H﷮IZ3 ȨlP]:+yH0 L_7A}[6&ϗ|{ƛtux3qS]a0s)YM9MR4CpL".6Yt . b) ڷJ7r#sbñ2P%bvq\O?F`8&1U[{foMǑ<_S-kdEhhY#z+fE٠R5F{wVNG8Itt(E0B|NҖf8=]ëttq2Lzb:&