SQLite format 3@ . YYQ77Atableisabelle_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, "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 ]]]ZF:threads=6elapsed=10.173cpu=35.052gc=2.172factor=3.457zXZִF! }]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(JIӅiy}D?=PbgZTu@ ]e9٨3A ?~'1_,!QnBlPgߡIhOk(</eT_iIqias,3H;ꉝa/Ua1ǟ0S+f^="vlH 'z7R#gYZ7zXZִF! 1t`]ŗXi%6tdK?&;ӁP/2dيDI-L$Ԩ.a vo\~]AfNg~phkS y+ˀ\?[9pr;+; #~E-TCid#)r}AJ. 9S]Ӌf*t,Cj1Rmc0CO|UBeӏYͼ5{!+QD2;܏ꯄjĆx*g/ )etoT9U 6hROcEfޕA6þ 0RgY*;ӶזYǛ*5 R,rű? lƖrv"8MCثςbë*Ca ([ifcDײg✚I`!Pbk3p@ASs| Oz%]wm-UJi57>Td'OG&3kE*jI<8{@E`30/+a]w\RTbdHUI6u?T*юB5#0w<'N=.ruA2UPM!z Adf#(ʶ%Eʃopu{M_0o)ǶuAp"V|@wҡm'ɘ E҄&Ȇc|(miGUNuq>.=U7G uUoZ7 VNISv^[:Ծ3=0j7SSlvr%սU;5^a~\Q=U4 pq6[?mn`3Ӥԝ;(LKk,-O=]^R"}*4t='mGwP<Ĕ0s] MA*H3_&' 6)&ѡwې7Z.W~y{N 9HR3#$>5 ̜~ =+Hѡj7g=,:v_OZ!&jKҘ G=UlD8v;iސ׫#Gu=Wc=쒛CbkgYZ8cfe903dd9028a573037349c3ead7d1eb7822b85cb9068c52176507145e624acbeec2272a10e4f6a949ad68b5a86e193e303d817699a7e19371ab8b8  ZF