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 Y]List-Infinite:threads=2elapsed=25.888cpu=45.028gc=2.076factor=1.747zXZִF! e]ŗXf1-/6vRZڕ`0 lO"EuHŠsQ$Ut`EAU@yRw _WvP5 /)qDgYZ7zXZִF! z]ŗXi%pA*f=$^bc Pws /OtprZ߷6;ƥ8(=d:®ΑL޺d<ƟM0E- &h9؂]['Vl\iC ޿LJdh#=Xd-D*GQn{ u#zxVqߓ5ySe[xhkM l$i~-[㻄iCitH7'?s(;v^--7:p؜TfÓZ\cLmln -eû8_;nOށGZfOZMhwuV4:I()ґy[c:݆C8 mqbI!V&tSy`d{nM^3+K͍D# +TxrklLh~è477E rJdE&bq"]ŰhWW~=(vRA27#S;~zGGxmx]u֚rˠ"%ְV98ɞG D!QIV#Xtv$@pU-!W:q`M71]$pCyU}JECrrp_fR9K {>)̪]']dWCt$o;:/vP-dV>P3J0ea&-RǶ疕 f/ƭ I=u5(di=K}@PUvh_R2j6suY?PBIP?v˵ r3&wgjNa6:̣>n1v|CL XLZ}Yny%R)h' Iݯh}}xw9JĨkA1,Eԛ~¹- ^HKڔ \QNԡ>!{#H5d:"Lφc&vJ# [źxNgu8i0