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) ddD ]/ FileRefinement:threads=2elapsed=8.703cpu=14.184gc=0.152factor=1.637zXZִF! )]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-T@XŀưNQRZ ܠz]|N~v|hSˈ$pGy{ VB` U` lV7Zm^jFژ' H*-alL`G31-rf;W,+~=z .1V+%~[ߵo̝X z nŰG,6_]8N:( qtU(p7`;&I Ր}hҦЍ; \_gYZ7zXZִF! j]ŗXiɟ—Uޘ[;RjuF1 LSwaLEn|b|/m ynߤ(>6_鷱_Fx5Bv P^ǑS8vxgYZ7zXZִF! 88]ŗXi%93<*X|ob:LXDa:nNjVN=q`O#Yϵf$ g-7=ETas+t%Ua6 +QvmMսU^PᒆMoֶ˷ϿJ ;څx X,CDO ye*]Y7ng`ٜ!jÓOi"?X k~?Xܳ""9!~/\kaglcziMa,!|) s]hMЊ cQoڔkTBw yA-ۅLQNF論W.Q)CڐQ'͵h="AS$8âv x$O3 ؋?ڃYcbڄxsٖC=9)VWG=)@s›+7>O[?Iр`YJn3 B3[v:n$[Ϳ{1ZwADo{0@G$2dqV0%2\)T75!%x)"CG1U]i. /sY)%^e.=d`ʐl¼U\2y()oW4epww;vb:AwXJCWϧՌ~Lcn3f*6Mŝ4KrB;agLJغ&>n:fN 0MQJr4E7ϩĴTٮ ??=l!|-6֋ %/fzׂ_zg@O:* ٦pmgYZ8697d051f6bb14d5de850c216211124afffa05f1a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 ) FileRefinement