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 C' \4 ] HOL-Cardinals:threads=6elapsed=6.353cpu=33.596gc=1.156factor=5.297zXZִF! L]ŗXf1-q恈<-¡$johkX2I)']8PIzA F̧FAA=JDKKnk,!I_7ù;Ƅ(G:)1H s~$TgQN.Շj81]D|7så'1l r@8G UCJ&Y Яy&{ ;S.o+8%\.Cn+_硋ǧ7(7HyC547J3k>+Bi?l}Ve~ƍ@$<>-G =z1cfqyV; nH@l>2k \swtP1Vjbp/ 2U &矀!z? $+ 'LPʞHC^+WR=*dI vgYZ7zXZִF! ;']ŗXiɟ1?ߟt;9BP2CZz眭5 z >zO/@q5!#! 5xx䩖u3lqSP_wuzyO)"/RCƱm'jn\m,i<:n\!ٗ4}djT6/e(>[xX(r6Bi;>M,זg 儿p\]Y0y"U9 F{㬅N@ܷnp+/sVl4?P'fO4_$GY^ uAuZK=K^wgYZ7zXZִF! R]ŗXi%9)~›$;u5{UNNo|$q/b<Ҽ&5gR(ҵNH>m5'dm)w2/bE s>M?ݷB"l 1פaBJ}_7`-UuWOœ=~59+SDM퇆&mc.pglh9:S8I\+j =  }\*zBYA01:jy 2m~(m{ķD7\h2七N^]4YIJbKc _߆\`->&ձ~OAT-qHcDnyd+9w#:% se ُ4/3FymQ,q2]&깽֒bw6U {v46?Oq(m 4A r ScU.N/꒾hF>-Ye;iD P9#a^o;ՌA7mHi@k-uÐy[01fWiZ'ҏ8)_CUTɱ`HSWtĴd |MزkC'<~n v4cqU/Lb-2]DQ@_[xfhB6u^yVPDy<`Еyjf*&[֓=x3{ gYZ4b8ff89f6a2a435b8734f8c069aca8126622e3ea41f17979ce98542c0541e9d469ab76fea38a3827 fe08b72d7ebf651118052c08d58fcecf57acb8b5 bcd6a8f9baa2d1eebdfb3c52bf0ed51aa49a5db7 ' HOL-Cardinals