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 t+ ll ]/ Card_Partitions:threads=2elapsed=9.265cpu=17.984gc=0.488factor=1.947zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DA]à2Hj%8R32W'C*Y H"vlVRg 5},gA)ltz2uߌS$>jV:":rgmˢZ"v\TPg= [cVpȼA_֥ zr7L)WJ,΂4"nϸe*ӽx5g;I*k>0M[})Yn2[%0.DM,~P%Ǘܔ,mw<"P `δ녬Tfl]F?H@S1$T$^'Po.Td!:1A9ӫt92O¶nPNټ$C߬Q8H?I'$ DD(2H0k.=.#G?egYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gM:Uu|iJLR6%?#puWb0974)!ŤՔyUc!kzӱE`pXg-㧾 ;T])U)pϧ9 Ӵ'P~TQRJE즰"OKCP0r'=6{=ϴ0829v!ZE+tXvmKVi/x&(ɊFLx/UplrDٱ[Jz$oO!_T*wOdFzO#H6b"Itz?v*):宖xmZ4#l#-S|={m>iѼ- u$cBILKbsmV}(hwJ Sl>D ϝ 4vY?R _8#gC0L$7j5kQcot671~6Xk;p ~xb΂2Z3#v%gvq z\gYZ7fcbd9aea5d9e296cff02e6e8039d7efeb4dd46579d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d + Card_Partitions