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  2 2K) ld< ]/ FileRefinement:threads=2elapsed=8.545cpu=13.976gc=0.124factor=1.647zXZִF! .]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-T1q\9eJ TPľNf#dppQ x8t~VPϺ9-tlS;+eClu2m ̖m'1iAc:3rl͐|X_Asb.<^D~Rդ&'yt6ʞ9K_^t0`Nt*?~I%_Uji;U|2瘝_-®h %U鮱gYZ7zXZִF! j]ŗXiɟ—Uޘ[9F0+0pClUqi]Pū7V-;r뉨44f:~NmCvndr@]9EXn+?7k8vxgYZ7zXZִF! 8%]ŗXi%ή++UlJңE@@ze1q8NQ$DBuwr+*1MT9\Zb}@ $KrxM;{:̸Cu-I=OpŸ.=j}؆#tsf1nIxV~!Spq!G0d5lGԺEO6~Î3Bz`^\&δoC 'eÓLd [0/9X24d}`$Y9Php-+y@GܔM}݊@7Laj;–w=1%E&a=| JuaXҘFZV uc{%1Pܶe!Dw~*jb37ΒYCtɁzH/)xJoV)WBiB+210!_q,A2Lm}=# Z|¥@#egq鷼81Rx./Ȅ[t䣭+V"U#&QX7?F,  F҃`iߊq2p-|% C |cAM9u,fakf(2`H{Ok6U5(\ (;5DHGuFWޓҴ@#raɱE_FQy#/zzh埸LX0*ބ~" -ť'p3rzxX*JD'?pfi󂂈0YB?ƲWչIQ,˵1Oz A'뫙*y#Itew/bHBSXqdK &moUT 3pҬ'qB ?H)մG?cu֫ű3F)#Tޑ<(EIy6Xf/pGѱgYZ4751908b40d1a24ea22db8e086c4c19c04035f5f00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 ) FileRefinement