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 i+ $\ %% Secondary_Sylow:threads=2elapsed=5.742cpu=11.032gc=0.328factor=1.927zXZִF! T ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃ꯘ-2yb&zLJ 7LHh;̎FB Qyw6yη'FwjC/ ]:o#:è(ܰBX2fJ$ \(cRoX[ 󆇜7ک>|5(vv"WA0*[kKA3ghdsΕIXF]iNو{^l[' &2bMNt<_3ci֡/;,V+ar 'og tu]ւyZ(RHvD Љ N_6z6Ub7t9HU2 x \X Os⣛&$fe oEONU$^?(=}è&H+KX r3h]b;p9?WuR!On#CHBZ>| %"7 YX`fEE}{p jmeKBNTu;qŹnGs_p[Zl, + Secondary_SylowË- $-Ͼxdb nؤX.rf9&"jyg( `e?bӱ%Aq{5Yw2ɝCY`oYp2 Iđ̠YasÓ)cG+Q6=7IKˍR%w}%*j䚄1`P[w*9ʗ"I93ٸa~h.EK|$(pH]XM$TU hz_C އ|v*=U\eFvx/;!dJdFq:p ~-ThV!t4 d(`{5,W+AG((d.H4pGNj;B! 1=Ս }~Tσ9ɋ*M8w,nJRpN8·8[a߭y]9=rR_c9A| r^77@R ;ǽ]4*T@ùG՟Qܷæps7M,EU 02=qPq#1l35ZƬp+7Ki$ƗWIlv2 VgYZ7zXZִF! %]ŗXi%r5ԧ 0-U۴ƘzeU)^jH e}Pl(|k ZDZ_VaYTo Z':!e./`_k_bPxX30_ɐ\KSv,qS* K-V^uUho%7"&)D~*sQ^mhW{k=k=ΨW\3DH9#"7֬W{[Ֆ*ozӻ>Yq/>z<gR٨bJif$_f;TpB>_}?ps'h!9HL[>}{WoC-Rar*q9xt6J-EbBwtƒv, 3*QY7@S3d4Ąbe/>V7_ljx Ȃ|\l^0!'[4[[|*I&)Z"ϒ6`%{xncyaD*`$֯S3v?3+kQBwf?cXEB&9މI'ٍ;^{\I2pYmS^4qIt!5]5p( 2?Wڒ1B VJOz! [YdʼdizuTp%alT1(M23[GhK{| D>L02K x,gYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 707f7081877423ffbac6d7d75ee7625d5f888056 93c8cdf99182baef62f2389dde188f58dd68d9de c6d33f696908642619028f80d5d7707602192bd8 cce72edfc02a20dd206a2409c7be50875c5f19f03b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303 cf54b34e30444469b3afc37db385a08e9ab8df9e 1979b7147b60d8a8a345788288fd71ff9d2c5dff