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 " $ w% Fermat3_4:threads=2elapsed=27.087cpu=48.640gc=0.736factor=1.807zXZִF! !b ]ŗXf1-/6vRZ9EsːRRuwz0n1tzg`UWz^ qޤ _orL/)UMGχYo4%<u+E J$ZZY!d7d~iV* \Eޖ0oJdoă|67V+kS4Em h͞=ѼDhBlQIFVDQw ! ca8#tZnqGb׫N[ν5 ڜ!pINr6:F "f̆U;Tw߰p.UDAW M@\:Db #kk('@hEUYBeDdf}dźPPp7d5@.w?P-n}n: {cW [`TQVMGs}{y{@ǽAsTKA,p ,1WvBd]W/8 Ɏ<kn3tVH+bKYHWZڡNִE17K0]=Y#ʂevop*H> oToWD7\7bVԖQˡvaE.-V8!cA?dYwY}h5.9 HQHʖJG0:nIޭ^xBV^syQlx V{8^Aeґ.I-U\׿2/uтꗆ 'kdԬ t_@;0Q ]JI{IcA jsmxygKh09&2dpyLLB_\_Z9q 0 hC>=$HstAitjhY)^t]F)yOZkdAc|H2%vH/w&8.da֠~el!Frʌ3Ba2{N2g5%Ηsq)νd$ $}\h~I)|D?+q)CKbUYSMC缼̤_4ETq$ύ@GyAWZ8` '+rWw-vX:J&8X/[aH%6"P$:vτT<'@#چnU9qㆽӽ;av<\,lhPe͢ VDX"D*X:DL/fL*MN_2 Ӹ!R z^U#1 T`,_ +`{F.zP}D!DyyV>Ulڟ[!#s"_gA=#.` [z,vJ>S0x!K;gT)ݻp,`퀵!h!BUrS%b},Nf;N@+}$R}Ɛ= l&/@Vj?fxE|?Gptk5`+Յ=|s*I)RQe:cyxԉM 9r[R6G0v/PTJ:5옐HW\84 J璨Tm?`>pJT- TXMA^[/\+< }exڴ DAϡ /G> sKJ`:JBdG?MY/+"We