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 &&W 4 ] Trie:threads=4elapsed=22.701cpu=26.368gc=0.844factor=1.167zXZִF! []ŗXf[&}ynZyI k|KEw^]am܅j?Y(~8ij3 u5zi{NCDz&lj$.MS}/\g&X 69|#l!=(ʜaum5J*lYJM|PgB2LRlo\1׭`+6U갱gYZ7zXZִF! |K]ŗXiɟl٢ :}*י#JJwm<[?`YL2jNc@ߑ6Bo@%'"g}E$}YZ7zXZִF! ]ŗXi%Eb⬞S˵ 7ɐAoSzxv-RF̎%i% |@E٩hK+CbT} O|?ܔj 2L_,xn`v؟s%:4E_ $4/o]>K`BAH-^EyFxbt&f52IXxy 3f/SЯU \<ų؄E4I \gwȰ<]')EC^5VsMM%4.j]G ;y*< O lÜ!CdI3811WRM50ZݗσClh3Ie&֝ib`RHM; h"&bp93+ ܴ0 `iR˅SacT]pfw}4R <_ЬZ6$*sP2dHеs-t+ @q?4և %j!79N+eJ >Ѱ4w7&Y͜󵅴v-0,*|iaN)pd5SQe ݇Cɧ D ϐM3% is8~(/LSqgDN B5]! <:V G F7C:һc0=eR\G2/Y@>w D~(J'j%u9;i1Xkæ4vxŧTev=؈16WmYb.+dj|t'vدy;M# zĂy앿p3ePI6ĩxc4>:E4I++ʻF }chfu. Ҋ{T=>߁+Ed 圧?/Wavm ַT4%|]JGS 4ChI B\6B{mϱ( ,9 CoKHRϐ ,hʕHʇh}M`7 R,xd$""+/ԫWbyDi;^ߤٗ86(@Gcfí0jB%Em92&G g'rGIk8eآM*Wqn,IXdPn+TG+FF#@ Aangָa/7m8oCeuiid#-1p/g*@nԧ|i ;pJB8qc!,gT牴&<qֆ&;R:g;W;=Z`fy¤fPWCT?O+tuH棯nͪԲC2Lk:<pn>@wk?! (yQITb?3~hh@؈IB?Vxd<_Nž8|CPdi,VUtkt+{ z& 2ѠaЉ1Ö+vSf=ڌm=á̲5AlZ-آi!ʏr.įfD@|^ILk7U̲<~ΐ'0K;_P4=9@A"gYZf3540ed4c17723b9f197da34bdfa85203bf86b2187d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110  Trie