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   {9l ] Card_Number_Partitions:threads=2elapsed=4.297cpu=8.072gc=0.144factor=1.887zXZִF! ]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}D{ ?_02E&alԗ0* δvEeUݷݠɇ0oK%yAc~x%ɟ˺(Ͻn]~[yR6oӅ~,fe͢ї>;53ȱgYZ7zXZִF! n]ŗXiɟy<C{ٞğ3 H&rAre"RH$ŀ 1X&O2է4A+=cv`-x(gYZ7zXZִF! %k]ŗXi%90ù'3Y;G:PsLhU(dܟɴww21XJ=KBcQg^$;*:ZuiɦSh9XJԢeB_&IxG %"OX<2GoN =r'T3v*2%w yGi ~̐(ēwEKhVfA"N)Ai.ҥ DہYPjmbE%{"L3¾ծjd *!?T9Pu#&V~x?yNC0)a'f'Z'uYnD7ZYCDۉ|[DgXP WzY)oҴ3R?KvV:4&kG8A`FNs!`LL6 ?ucz [S (Yt3Rn1 1&EdhyR:X75:8HrN(\ۨi%蹯p!!"[o/O(99@H}lJE,#J1ncg_+^JCmC߬j/,nke`{K346F5xF)irQxnOVi+qf[[HIaU/#MRK}C哠FSKIMEc{J Rv.gYZb0ce151b29f046322b1e571ad048cd2208cb4d9cee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa 9 Card_Number_Partitions